In this paper we investigate P systems whose compartments contain sets of symbol-objects rather than multisets of objects, as it is common in membrane computing. If the number of membranes cannot grow, then in this framework we can characterize exactly the regular languages. If membrane creation or membrane division is allowed, then the Parikh sets of recursively enumerable languages can be generated. The last result also implies the universality of P systems with active membranes (with multisets of symbol-objects) without polarizations. 相似文献
The MiMo2 translation system combines several leading ideas in the areas of linguistics, computation and translation. In the area of translation we follow the ideas of Landsbergen (1987) by assuming that translation is symmetric; and combine these ideas with the advantages of a transfer approach. Computationally the system focuses on computability and declarativity. The linguistics of the system is based on a lexicalistic and sign-based approach to grammar.MiMo2 is a sideline project of the Dutch Eurotra team in Utrecht. An extended version of this article was presented at the machine translation workshop in Austin, Texas, June 1990. 相似文献
The importance of the Stability Problem in neurocomputing is discussed, as well as the need for the study of infinite networks. Stability must be the key ingredient in the solution of a problem by a neural network without external intervention. Infinite discrete networks seem to be the proper objects of study for a theory of neural computability which aims at characterizing problems solvable, in principle, by a neural network. Precise definitions of such problems and their solutions are given. Some consequences are explored, in particular, the neural unsolvability of the Stability Problem for neural networks. 相似文献
Many attempts1, 7, 8, 35 have been made to overcome the limit imposed by the Turing Machine34 to realise general mathematical functions and models of (physical) phenomena.
They center around the notion of computability.
In this paper we propose a new definition of computability which lays the foundations for a theory of cybernetic and intelligent machines in which the classical limits imposed by discrete algorithmic procedures are offset by the use of continuous operators on unlimited data. This data is supplied to the machine in a totally parallel mode, as a field or wave.
This theory of machines draws its concepts from category theory, Lie algebras, and general systems theory. It permits the incorporation of intelligent control into the design of the machine as a virtual element. The incorporated control can be realized in many (machine) configurations of which we give three:
a) a quantum mechanical realization appropriate to a possible understanding of the quantum computer and other models of the physical microworld,
b) a stochastic realization based on Kolmogorov-Gabor theory leading to a possible understanding of generalised models of the physical or thermodynamic macroworld, and lastly
c) a classical mechanical realization appropriate lo the study of a new class of robots.
Particular applications at a fundamental level are cited in geometry, mathematics, biology, acoustics, aeronautics, quantum mechanics, general relativity and. Markov chains. The proposed theory therefore opens a new way towards understanding the processes that underlie intelligence. 相似文献
We consider Luciano Floridi's proposal for a structural realism based on an Informational Structural Realism which, as he describes in his book (p. 339): ‘As a form of realism … is committed to the existence of a mind-independent reality addressed by, and constraining knowledge’. In doing this, we inform and reform aspects of the argument within a mathematical and, specifically, computability theoretic context. 相似文献