Formal languages and computation : models and their applications /: models and their applications. (2014)
- Record Type:
- Book
- Title:
- Formal languages and computation : models and their applications /: models and their applications. (2014)
- Main Title:
- Formal languages and computation : models and their applications
- Further Information:
- Note: Alexander Meduna.
- Authors:
- Meduna, Alexander, 1957-
- Contents:
- INTRODUCTION; Mathematical Background; Logic; Sets and Sequences; Relations; Graphs; Formal Languages and Rewriting Systems; Formal Languages; Rewriting systems; Synopsis of the Book; ; REGULAR LANGUAGES AND THEIR MODELS; Models for Regular Languages; Finite Automata; Restricted Finite Automata; Regular Expressions and their Equivalence with Finite Automata; Implementation of Finite Automata; Introduction to Lexical Analysis; Implementation of a Scanner; Properties of Regular Languages; Pumping Lemma for Regular Languages; Closure Properties; ; CONTEXT-FREE LANGUAGES AND THEIR MODELS; Models for Context-Free Languages; Context-Free Grammars; Restricted Context-Free Grammars; Pushdown Automata; Applications of Models for Context-Free Languages: Syntax Analysis; Introduction to Syntax Analysis; Top-Down Parsing; Bottom-Up Parsing; Properties of Context-Free Languages; Pumping Lemma for Context-Free Languages; Closure Properties; ; TURING MACHINES AND COMPUTATION; Turing Machines and Their Variants; Turing Machines and Their Languages; Restricted Turing Machines; Universal Turing Machines; Applications of Turing Machines: Theory of Computation; Computability; Decidability; Turing Machines and General Grammars; General Grammars and Their Equivalence with Turing Machines; Context-Sensitive Grammars and Linear-Bounded Automata; Relations between Language Families; ; CONCLUSION; Concluding and Bibliographical Remarks; Summary; Modern Trends; Bibliographical and Historical Remarks;
- Publisher Details:
- Place of publication not identified : Auerbach Publications
- Publication Date:
- 2014
- Extent:
- 1 online resource (315 pages), (59 illustrations)
- Subjects:
- 005.131
Formal languages
Machine theory - Languages:
- English
- ISBNs:
- 9781466513495
1466513497 - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.143447
- Ingest File:
- 02_171.xml