scientific article; zbMATH DE number 3247164

zbMATH Open0154.00706MaRDI QIDQ5533191FDOQ5533191

Authors: Edward F. Moore 

Publication date: 1964

Title of this publication is not available (Why is that?)

zbMATH Keywords

mathematical logic

Cited In (15)

• Some finite state aspects of legged locomotion
• System identification via state characterization
• The equivalence of finite valued transducers (on HDT0L languages) is decidable
• 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
• Computational universes
• Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience
• 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)