Overview
- PRESENTS AN INTRODUCTION TO FUNDAMENTAL ABSTRACT MODELS BEHIND COMPUTATION IN A CLEAR, SIMPLE AND RIGOROUS WAY.
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (11 chapters)
-
Front Matter
-
Introduction
-
Front Matter
-
-
Regular Languages
-
Front Matter
-
-
Context-Free Languages
-
Front Matter
-
-
Beyond Context-Free Languages
-
Front Matter
-
-
Translations
-
Front Matter
-
-
Back Matter
Authors and Affiliations
Bibliographic Information
Book Title: Automata and Languages
Book Subtitle: Theory and Applications
Authors: Alexander Meduna
DOI: https://doi.org/10.1007/978-1-4471-0501-5
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 2000
Softcover ISBN: 978-1-85233-074-3Published: 17 July 2000
eBook ISBN: 978-1-4471-0501-5Published: 06 December 2012
Edition Number: 1
Number of Pages: XVI, 920
Number of Illustrations: 32 b/w illustrations
Topics: Theory of Computation, Artificial Intelligence, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages