scientific article; zbMATH DE number 3247164
From MaRDI portal
zbMath0154.00706MaRDI QIDQ5533191
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The equivalence of finite valued transducers (on HDT0L languages) is decidable, Rice's theorem for the limit sets of cellular automata, A six-state minimal time solution to the Firing squad synchronization problem, Deterministic automata. Simulation, universality and minimality, Transition matrices in the measurement and control of synchronous sequential machines, Constraint nets: a semantic model for hybrid dynamic systems, Data machines and standards, or the functional specification of information systems, Computational universes, Checking experiments for sequential machines, A strong pumping lemma for context-free languages, Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience, Some finite state aspects of legged locomotion, Inducing an order on cellular automata by a grouping operation, System identification via state characterization, Finite nondeterministic automata: simulation and minimality
