scientific article; zbMATH DE number 3247164
From MaRDI portal
Publication:5533191
Cited in
(15)- Some finite state aspects of legged locomotion
- The equivalence of finite valued transducers (on HDT0L languages) is decidable
- System identification via state characterization
- Inducing an order on cellular automata by a grouping operation
- Transition matrices in the measurement and control of synchronous sequential machines
- Finite nondeterministic automata: simulation and minimality
- A six-state minimal time solution to the Firing squad synchronization problem
- Deterministic automata. Simulation, universality and minimality
- Checking experiments for sequential machines
- Rice's theorem for the limit sets of cellular automata
- Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience
- Computational universes
- Data machines and standards, or the functional specification of information systems
- A strong pumping lemma for context-free languages
- Constraint nets: a semantic model for hybrid dynamic systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5533191)
