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. SAV, 3. Aufl., 2010.
[Coc70] J. Cocke und J. T. Schwartz. Programming languages and their compilers: Preliminary notes. Techn. Ber., Courant Inst. of Mathematical Sciences, New York University, 1970.
[Fri07] J. Friedl. Reguläre Ausdrücke. O’Reilly, 3. Aufl., 2007.
[Hof22] D. Hoffmann. Theoretische Informatik. Hanser, 5. Aufl., 2022.
[Hol15] B. Hollas. Grundkurs Theoretische Informatik: Mit Aufgaben und Anwendungen. Springer Vieweg, 2. Aufl., 2015.
[Hop11] J. Hopcroft, R. Motwani und J. Ullmann. Einführung in die Automatentheorie, formalin 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., Univ. Hawaii/Air Force Cambridge Lab, 1965. AFCRL-65-758.
[Kjo09] S. Kjoerup. Semiotik. UTB, 2009.
[Kön16] L. König, F. Pfeiffer-Bohnen und H. Schmeck. Theoretische Informatik - ganz praktisch. de Gruyter Oldenbourg, 2016.
[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.
[Pri18] L. Priese und K. Erk. Theoretische Informatik. Eine umfassende Einführung. Springer, 4. Aufl., 2018.
[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. SAV, 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.
[Vos16] G. Vossen und K.-U. Witt. Grundkurs Theoretische Informatik. Springer Vieweg, 6. Aufl., 2016.
[You67] D. H. Younger. Recognition and parsing of context-free languages in time n3. Information and Control, 10(2):189–208, 1967.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 Der/die Autor(en), exklusiv lizenziert an Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Ernst, H., Schmidt, J., Beneken, G. (2023). Automatentheorie und formale Sprachen. In: Grundkurs Informatik. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-41779-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-658-41779-6_11
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-41778-9
Online ISBN: 978-3-658-41779-6
eBook Packages: Computer Science and Engineering (German Language)