Zusammenfassung
Unter einem Automaten (automaton) stellt man sich eine Maschine vor, die ihr Verhalten bis zu einem gewissen Grade selbst steuert [Hop11]. Dies könnte beispielsweise ein Kaffeeautomat sein, der in Abhängigkeit von der Produktauswahl durch Drücken von Tasten das gewählte Getränk ausgibt oder auch eine Fehlermeldung, falls der Wasser- oder Kaffeevorrat ausgegangen ist. Für wissenschaftliche Anwendungen ist eine mathematische Präzisierung dieses Begriffs erforderlich.
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
[Aho13] A. Aho, M. Lam und R. Sethi. Compilers. Addison-Wesley Longman, 2013.
[Car10] K.-U. Carstensen, C. Ebert, C. Ebert, S. Jekat, H. Langer und R. Klabunde, Hg. Computerlinguistik und Sprachtechnologie: Eine Einführung. Spektrum Akademischer Verlag, 3. Aufl., 2010.
[Coc70] J. Cocke und J. T. Schwartz. Programming languages and their compilers: Preliminary notes. Techn. Ber., Courant Institute of Mathematical Sciences, New York University, 1970.
[Erk09] K. Erk und L. Priese. Theoretische Informatik. Eine umfassende Einführung. Springer, 3. Aufl., 2009.
[Fri07] J. Friedl. Reguläre Ausdrücke. O’Reilly, 3. Aufl., 2007.
[Hof11] D. Hoffmann. Theoretische Informatik. Hanser, 2. Aufl., 2011.
[Hop11] J. Hopcroft, R. Motwani und J. Ullmann. Einführung in die Automatentheorie, formalen Sprachen und Berechenbarkeit. Pearson Studium, 3. Aufl., 2011.
[Hop13] J. Hopcroft, R. Motwani und J. Ullmann. Introduction to Automata Theory, Languages, and Computation. Pearson Education Limited, 2013.
[Kas65] T. Kasami. An efficient recognition and syntax-analysis algorithm for context-free languages. Techn. Ber., University of Hawaii / Air Force Cambridge Lab, 1965. AFCRL-65-758.
[Kjo09] S. Kjoerup. Semiotik. UTB, 2009.
[Lex] Lex, Yacc, Flex, Bison. http://dinosaur.compilertools.net/.
[Mea55] G. H. Mealy. A Method for Synthesizing Sequential Circuits. Bell System Technical Journal, 34(5):1045–1079, 1955.
[Moo56] E. F. Moore. Gedanken-experiments on Sequential Machines. Automata Studies: Annals of Mathematical Studies, (34):129–153, 1956.
[Mü09] H. M. Müller. Arbeitsbuch Linguistik: Eine Einführung in die Sprachwissenschaft. UTB, 2. Aufl., 2009.
[Rab59] M. O. Rabin und D. Scott. Finite Automata and Their Decision Problems. IBM Journal of Research and Development, 3(2):114–125, April 1959.
[San95] P. Sander, W. Stucky und R. Herschel. Grundkurs Angewandte Informatik IV: Automaten, Sprachen, Berechenbarkeit. Vieweg+Teubner, 2. Aufl., 1995.
[Sch08] U. Schöning. Theoretische Informatik – kurz gefasst. Spektrum Akad. Verlag, 5. Aufl., 2008.
[Tor11] L. Torczon und K. Cooper. Engineering a Compiler. Morgan Kaufmann, 2. Aufl., 2011.
[Tur50] A. M. Turing. Computing Machinery and Intelligence. Mind, LIX(236):433–460, 1950.
[You67] D. H. Younger. Recognition and parsing of context-free languages in time n 3 . Information and Control, 10(2):189–208, 1967.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Ernst, H., Schmidt, J., Beneken, G. (2016). Automatentheorie und formale Sprachen. In: Grundkurs Informatik. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-14634-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-658-14634-4_10
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-14633-7
Online ISBN: 978-3-658-14634-4
eBook Packages: Computer Science and Engineering (German Language)