Amazon cover image
Image from Amazon.com

Automata theory and formal languages : fundamental notions, theorems and techniques / Alberto Pettorossi

By: Material type: TextTextSeries: Undergraduate Topics in Computer SciencePublication details: Switzerland : Springer, c2022Description: vii, 280 leaves ; 26 cmISBN:
  • 9783031119644
Subject(s): LOC classification:
  • QA 267.3 .P48 2022
Contents:
1. Formal Grammars and Languages -- 2. Finite Automata and Regular Grammars -- 3. Pushdown Automata and Context-Free Grammars -- 4. Linear Bounded Automata and Context-Sensitive Grammars -- 5. Turing Machines and Type 0 Grammars -- 6. Decidability and Undecidability in Context-Free Languages -- 7. Supplementary Topics.
Summary: Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an important role in language translation, compiler construction, and knowledge manipulation in general.
Item type: Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Copy number Status Date due Barcode
Books Books National University - Manila LRC - Main General Circulation Digital Forensic GC QA 267.3 .P48 2022 (Browse shelf(Opens below)) c.1 Available NULIB000020476

Includes bibliographical references and index.

1. Formal Grammars and Languages --
2. Finite Automata and Regular Grammars --
3. Pushdown Automata and Context-Free Grammars --
4. Linear Bounded Automata and Context-Sensitive Grammars --
5. Turing Machines and Type 0 Grammars --
6. Decidability and Undecidability in Context-Free Languages --
7. Supplementary Topics.

Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an important role in language translation, compiler construction, and knowledge manipulation in general.

There are no comments on this title.

to post a comment.