Abstract:Cognitive computation such as e.g. language processing, is conventionally regarded as Turing computation, and Turing machines can be uniquely implemented as nonlinear dynamical systems using generalized shifts and subsequent Gödel encoding of the symbolic repertoire. The resulting nonlinear dynamical automata (NDA) are piecewise affine-linear maps acting on the unit square that is partitioned into rectangular domains. Iterating a single point, i.e. a microstate, by the dynamics yields a trajectory of, in principle, infinitely many points scattered through phase space. Therefore, the NDAs microstate dynamics does not necessarily terminate in contrast to its counterpart, the symbolic dynamics obtained from the rectangular partition. In order to regain the proper symbolic interpretation, one has to prepare ensembles of randomly distributed microstates with rectangular supports. Only the resulting macrostate evolution corresponds then to the original Turing machine computation. However, the introduction of random initial conditions into a deterministic dynamics is not really satisfactory. As a possible solution for this problem we suggest a change of perspective. Instead of looking at point dynamics in phase space, we consider functional dynamics of probability distributions functions (p.d.f.s) over phase space. This is generally described by a Frobenius-Perron integral transformation that can be regarded as a neural field equation over the unit square as feature space of a dynamic field theory (DFT). Solving the Frobenius-Perron equation, yields that uniform p.d.f.s with rectangular support are mapped onto uniform p.d.f.s with rectangular support, again. Thus, the symbolically meaningful NDA macrostate dynamics becomes represented by iterated function dynamics in DFT; hence we call the resulting representation dynamic field automata.

Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines

Upper limits on the robustness of Turing models and other multiparametric dynamical systems

Computational Dynamical Systems

A Continuous Time Dynamical Turing Machine

Robustness of non-computability

Ulam meets Turing: constructing quadratic maps with non-computable SRB measures

Robustness of Turing models and gene regulatory networks with a sweet spot

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations

Implementing Turing Machines in Dynamic Field Architectures

Multiway Turing Machines

Revisiting the simulation of quantum Turing machines by quantum circuits

Dynamics of certain smooth one-dimensional mappings II: geometrically finite one-dimensional mappings

Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type

Diffusive stability of Turing patterns via normal forms

Approximation and Universality of Fuzzy Turing Machines.

Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer

Quasilinear Emulation of Turing Machines by S-machines

Robust chaos in $\mathbb{R}^n$

Two-dimensional time-reversible ergodic maps with provisions for dissipation

One-dimensional game-theoretic differential equations

Characterizations of minimal T3 1/2L-topological spaces