April 2015
Intermediate to advanced
482 pages
11h 42m
English
Formal languages and automata theory are based on mathematical computations. These computations are used to represent various mathematical models.
In this chapter, we discuss the mathematical preliminaries that form the foundation of computation. We discuss mathematical basics such as set theory, relations and functions. The basics of graph theory, language and grammar are discussed. A description of different techniques to prove theorems are also explained here. We study many interesting models such as finite automata, pushdown automata, linear bound automata and Turing machine. The theory about these models is automata theory. We will also discuss formal languages. A formal language is a set ...
Read now
Unlock full access