/ en / Traditional / help

Beats Biblionetz - Bücher

Formal languages and their relation to automata

John E. Hopcroft, Jeffrey D. Ullman ,
Diese Seite wurde seit mehr als 8 Monaten inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

The study of formal languages constitutes an important subarea of computer science. This area sprang to life around 1956 when Noam Chomsky gave a mathematical model of a grammar in connection with his study of natural languages. Shortly afterwards, the concept of a grammar was found to be of great importance to the programmer when the syntax of the programming language ALGOL was defined by a context-free grammar. This development led naturally to syntax-directed compiling and the concept of a compiler compiler. Since then a considerable flurry of activity has taken place, the results of which have related formal languages and automata theory to such an extent that it is impossible to treat the areas separately. By now, no serious study of computer science would be complete without a knowledge of the techniques and results from language and automata theory.
This book presents the theory of formal languages as a coherent theory and makes explicit its relationship to automata. The book begins with an explanation of the notion of a finite description of a language. The fundamental descriptive device--the grammar--is explained, as well as its three major subclasses--regular, context-free, and context-sensitive grammars. The context-free grammars are treated in detail, and such topics as normal forms, derivation trees, and ambiguity are covered. Four types of automata equivalent to the four types of grammars are described. These automata are the finite automaton, the pushdown automaton, the linear bounded automaton, and the Turing machine. The Turing machine is covered in detail, and unsolvability of the halting problem shown. The book concludes with certain advanced topics in language theory--closure properties, computational complexity, deterministic pushdown automata, LR(k) grammars, stack automata, and decidability.
Von John E. Hopcroft, Jeffrey D. Ullman im Buch Formal languages and their relation to automata (1969)

iconDieses Buch erwähnt ...


Personen
KB IB clear
Warren McCulloch, Walter Pitts, Alan Turing

Begriffe
KB IB clear
Automatautomat, Halteproblem, Maschinemachine, Sprachelanguage, Turing-Maschineturing machine
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
1943 A logical calculus of the ideas immanent in nervous activity Personenreihenfolge alphabetisch und evtl. nicht korrekt (Warren McCulloch, Walter Pitts) 45000
2021 local  Ideas That Created the Future (Harry Lewis) 7, 8, 9, 2, 15, 1, 4, 5, 1, 2, 2, 4282624208
icon
Texte
Jahr  Umschlag Titel Abrufe IBOBKBLB
1936 On Computable Numbers, with an Application to the Entscheidungsproblem (Alan Turing) 6, 6, 9, 3, 8, 1, 4, 7, 4, 3, 3, 849382590

iconTagcloud

iconZitationsgraph

Diese Grafik ist nur im SVG-Format verfügbar. Dieses Format wird vom verwendeteten Browser offenbar nicht unterstützt.

Diese Grafik fensterfüllend anzeigen (SVG)

iconBibliographisches Hier finden Sie Angaben um das gewählte Werk zu kaufen oder in einer Bibliothek auszuleihen.

Titel   Format Bez. Aufl. Jahr ISBN          
Formal languages and their relation to automata E - - 0 - Bei einer Nebis-Bibliohek ausleihen
Bei Amazon.com suchen und direkt bestellen

iconBeat und dieses Buch

Beat hat dieses Buch während seiner Zeit am Institut für Medien und Schule (IMS) ins Biblionetz aufgenommen. Beat besitzt weder ein physisches noch ein digitales Exemplar. Aufgrund der wenigen Einträge im Biblionetz scheint er es nicht wirklich gelesen zu haben. Es gibt bisher auch nur wenige Objekte im Biblionetz, die dieses Werk zitieren.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.