Knowledge in ComputerEngineering

Computer Engineering Semester 4

Question papers of Computer Engineering of Semester 4 of Rizvi College of Engineering CBCS pattern

Automata theory and Computability

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science and discrete mathematics (a subject of study in both mathematics and computer science). Automata theory is closely related to formal language theory. An automaton is a finite representation of a formal language that may be an infinite set. Automata are often classified by the class of formal languages they can recognize, typically illustrated by the Chomsky hierarchy, which describes the relations between various languages and kinds of formalized logics.