Zusammenfassung
Im vorigen Kapitel wurde unter Zuhilfenahme rationaler Ausdrücke und des Transitionsmonoids gezeigt, wie man zu einem beliebigen NRSA einen äquivalenten RSA konstruieren kann. In die-sem Kapitel werden dafür direkte Konstruktionen angegeben, die den jeweiligen Automaten selbst umformen. Darüber hinaus soll das Problem der Minimierung der Zustandsanzahl untersucht werden.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur zu 6
J. Albert, Th. Ottmann, Automaten, Sprachen und Maschinen fair Anwender, Bibliograph.Institut, Mannheim, 1983
M. Brandt, Minimisierung nichtdeterministischer Akzeptoren, EIK 8, (1972) 87–98
W. Brauer, Zur Zustandsreduktion unvollständiger Automaten, Seminarbericht Inst.f.Theorie d.Autom.u.Schaltnetzwerke 6, Gesellschaft f.Mathematik u.Datenverarbeitung, Bonn, 1968
J.A. Brzozowski, Derivatives of regular expressions, J.Assoc.Comput.Mach. 11, (1964) 481–494
J.R. BUchi, Mathematische Theorie des Verhaltens endlicher Automaten, Zeitschrift Angew.Math.Mech. 42, (1962) T9 - T16
J.R. BUchi, Algebraic theory of feedback in discrete systems, Part I, in E.R. Caianiello (ed.) Automata Theory, Academic Press, New York, 1966, 70–101
W.M. Gluschkow, Ein weiterer Algorithmus zur Synthese abstrakter Automaten, Ukrain.Math.Journal 12, (1960) 147–156 (in russischer Sprache)
F. Hennie, Finite-State Models for Logical Machines, J. Wiley, New York, 1968
J. Hoperoft, J. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, 1979
K. Indermark, Zum Miriimisierungsproblem bei nichtdeterministischen Automaten, Seminarbericht Institut f.Theorie d.Autom.u. Schaltnetzwerke 16, Gesellschaft f.Mathematik u.Datenverarbeitung, Bonn, 1969
K. Indermark, Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten, Berichte d.Gesellschaft f.Mathematik u.Datenverarbeitung, Bonn, Nr. 33, (1970)
T. Kameda, P. Weiner, On the state minimization of nondeterministic finite automata, IEEE Trans.on Computers C-19, (1970) 617–627
J. Rim, State Minimization of Nondeterministic Machines, IBM T.J. Watson Research Center Yorktown Heights RC 4896, 1974.
C.M.R. Rintala, D. Wotschke, Amounts of nondeterminism in finite automata, Acta Informatica 13 (1980) 199–204
O.B. Lupanow, Fiber den Vergleich zweier Typen endlicher Quellen, Probleme der Kybernetik Bd.6, 1966, 329–335 (Russisches Original 1963 )
A.R. Meyer, M.J. Fischer, Economy of description by automata, grammars, and formal systems, Conference Record of 12th Annual Symposium on Switching and Automata Theory ( SWAT) IEEE Comp. Soc., 1971, 188–191
B.G. Mirkin, On dual automata, Cybernetics 2, 1 (1966) 6–9
F.R. Moore, Deterministic realization and simulation of non-deterministic automata, Ph.D.dissertation, Dept.of Electrical Engineering, Syracuse University, 1969
F.R. Moore, On the bounds for state-set size in the proofs of equivalence between deterministic, nondeterministic, and two-way finite automata, IEEE Trans.on Computers, TC-20, (1971) 1211–1214
A. Nerode, Linear automaton transformations, Proc.Amer.Mathem.Soc. 9, (1958) 541–544
G. Ott, On multipath automata I, Sperry Rand Res.Rep. SRRC-RR-64–69, 1969
M.A. Spivak, Ein Algorithmus zur abstrakten Synthese von Automaten für eine erweiterte Sprache der regulären Ereignisse, Iswest.Akad.Nauk SSSR, Techn.Kybernetik (1965) No. 1, 51–57 (in russischer Sprache - vgl. Mathematical Reviews 32, Hr. 5467 )
M.A. Spivak, Die Entwicklung eines regulären Ausdrucks nach einer Basis und ihre Anwendungen, Dokl.Akad.Nauk SSSR 162, (1965) 520–522 (in russischer Sprache)
M.A. Spivak,A method of analysis of abstract automata using equations in the algebra of events, Cybernetics 1, (1965) 25–26
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1984 B. G. Teubner, Stuttgart
About this chapter
Cite this chapter
Brauer, W. (1984). Umformungen von Automaten. In: Automatentheorie. Leitfäden und Monographien der Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-92151-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-322-92151-2_6
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02251-0
Online ISBN: 978-3-322-92151-2
eBook Packages: Springer Book Archive