1
Mathematical Preliminaries and Formal Languages
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 ...
Get Formal Languages and Automata Theory now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
