Skip to main content
SpringerLink
Log in

Umformungen von Automaten

  • Chapter
Automatentheorie

Part of the book series: Leitfäden und Monographien der Informatik ((LMI))

  • 115 Accesses

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur zu 6

  • J. Albert, Th. Ottmann, Automaten, Sprachen und Maschinen fair Anwender, Bibliograph.Institut, Mannheim, 1983

    Google Scholar 

  • M. Brandt, Minimisierung nichtdeterministischer Akzeptoren, EIK 8, (1972) 87–98

    MATH  Google Scholar 

  • W. Brauer, Zur Zustandsreduktion unvollständiger Automaten, Seminarbericht Inst.f.Theorie d.Autom.u.Schaltnetzwerke 6, Gesellschaft f.Mathematik u.Datenverarbeitung, Bonn, 1968

    Google Scholar 

  • J.A. Brzozowski, Derivatives of regular expressions, J.Assoc.Comput.Mach. 11, (1964) 481–494

    Article  MathSciNet  MATH  Google Scholar 

  • J.R. BUchi, Mathematische Theorie des Verhaltens endlicher Automaten, Zeitschrift Angew.Math.Mech. 42, (1962) T9 - T16

    Article  Google Scholar 

  • 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

    Google Scholar 

  • W.M. Gluschkow, Ein weiterer Algorithmus zur Synthese abstrakter Automaten, Ukrain.Math.Journal 12, (1960) 147–156 (in russischer Sprache)

    Google Scholar 

  • F. Hennie, Finite-State Models for Logical Machines, J. Wiley, New York, 1968

    Google Scholar 

  • J. Hoperoft, J. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, 1979

    Google Scholar 

  • K. Indermark, Zum Miriimisierungsproblem bei nichtdeterministischen Automaten, Seminarbericht Institut f.Theorie d.Autom.u. Schaltnetzwerke 16, Gesellschaft f.Mathematik u.Datenverarbeitung, Bonn, 1969

    Google Scholar 

  • K. Indermark, Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten, Berichte d.Gesellschaft f.Mathematik u.Datenverarbeitung, Bonn, Nr. 33, (1970)

    Google Scholar 

  • T. Kameda, P. Weiner, On the state minimization of nondeterministic finite automata, IEEE Trans.on Computers C-19, (1970) 617–627

    Google Scholar 

  • J. Rim, State Minimization of Nondeterministic Machines, IBM T.J. Watson Research Center Yorktown Heights RC 4896, 1974.

    Google Scholar 

  • C.M.R. Rintala, D. Wotschke, Amounts of nondeterminism in finite automata, Acta Informatica 13 (1980) 199–204

    MathSciNet  Google Scholar 

  • O.B. Lupanow, Fiber den Vergleich zweier Typen endlicher Quellen, Probleme der Kybernetik Bd.6, 1966, 329–335 (Russisches Original 1963 )

    Google Scholar 

  • 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

    Google Scholar 

  • B.G. Mirkin, On dual automata, Cybernetics 2, 1 (1966) 6–9

    Google Scholar 

  • F.R. Moore, Deterministic realization and simulation of non-deterministic automata, Ph.D.dissertation, Dept.of Electrical Engineering, Syracuse University, 1969

    Google Scholar 

  • 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

    Google Scholar 

  • A. Nerode, Linear automaton transformations, Proc.Amer.Mathem.Soc. 9, (1958) 541–544

    Article  MathSciNet  MATH  Google Scholar 

  • G. Ott, On multipath automata I, Sperry Rand Res.Rep. SRRC-RR-64–69, 1969

    Google Scholar 

  • 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 )

    Google Scholar 

  • 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)

    Google Scholar 

  • M.A. Spivak,A method of analysis of abstract automata using equations in the algebra of events, Cybernetics 1, (1965) 25–26

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Hamburg, Hamburg, Deutschland

    Prof. Dr. rer. nat. Wilfried Brauer (Professor)

Authors
  1. Prof. Dr. rer. nat. Wilfried Brauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation