Zusammenfassung
MOORE hat in seiner bekannten Arbeit “Gedanken-Experiments on Sequential Machines” [1] einen Satz formuliert, nach dem es Automaten mit jeweils paarweise unterscheidbaren (inäquivalenten) Zuständen gibt, für die kein einfaches Experiment existiert, das den Anfangszustand des Automaten zu bestimmen gestattet.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Moore, E.F.: Gedanken-Experiments on Sequential Machines; Automata Studies, Princeton University Press 1956, S.129-153.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1967 Springer Basel AG
About this chapter
Cite this chapter
Händler, W. (1967). Einfache Diagnostische Experimente bei Endlichen Automaten. In: 3. Colloquium über Automatentheorie. Internationale Schriftenreihe zur Numerischen Mathematik / International Series of Numerical Mathematics / Série Internationale d’Analyse Numérique, vol 6. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-5879-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-0348-5879-3_6
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-5880-9
Online ISBN: 978-3-0348-5879-3
eBook Packages: Springer Book Archive