Automata and Languages : Theory and Applications

Alexander Meduna

ISBN 10: 1852330740 / ISBN 13: 9781852330743

Editore: Springer London, 2000

Riguardo questo articolo

Druck auf Anfrage Neuware - Printed after ordering - Automata and Languages presents a step-by-step development of the theory of automata, languages and computation. Intended to be used as the basis of an introductory course to this theory at both junior and senior levels, the text is organized in such a way as to allow the design of various courses based on selected material. Areas featured in the book include:- \*basic models of computation \*formal languages and their properties \*computability, decidability and complexity \*a discussion of the modern trends in the theory of automata and formal languages \*design of programming languages, including the development of a new programming language \*compiler design, including the construction of a complete compiler Alexander Meduna uses clear definitions, easy-to-follow proofs and helpful examples to make formerly obscure concepts easy to understand. He also includes challenging exercises and programming projects to enhance the reader's comprehension, and, to put the theory firmly into a 'real world' context, he presents lots of realistic illustrations and applications in practical computer science.

Codice articolo 9781852330743

Dati bibliografici

• Titolo: Automata and Languages : Theory and Applications
• Editore: Springer London
• Data di pubblicazione: 2000
• Lingua: Inglese
• ISBN 10: 1852330740
• ISBN 13: 9781852330743
• Rilegatura: Taschenbuch
• Condizione: Neu

Descrizione articolo

Riassunto

A step-by-step development of the theory of automata, languages and computation. Intended for use as the basis of an introductory course at both junior and senior levels, the text is organized so as to allow the design of various courses based on selected material. It features basic models of computation, formal languages and their properties; computability, decidability and complexity; a discussion of modern trends in the theory of automata and formal languages; design of programming languages, including the development of a new programming language; and compiler design, including the construction of a complete compiler. Alexander Meduna uses clear definitions, easy-to-follow proofs and helpful examples to make formerly obscure concepts easy to understand. He also includes challenging exercises and programming projects to enhance the reader's comprehension, and many 'real world' illustrations and applications in practical computer science.

Contenuti

I Introduction.- Mathematical Background.- 1 Languages.- 2 Automata.- II Regular Languages.- 3 Models for Regular Languages.- 4 Properties of Regular Languages.- III Context-Free Languages.- 5 Models for Context-Free Languages.- 6 Properties of Context-Free Languages.- 7 Special Types of Context-Free Languages and Their Models.- IV Beyond Context-Free Languages.- 8 Generalized Models.- V Translations.- 9 Finite and Pushdown Transducers.- 10 Turing Transducers.- Indices.- Index to Special Symbols.- Index to Decision Problems.- Index to Algorithms.