Tafl Unit 1
Tafl Unit 1
Tafl Unit 1
Formal Languages
(KCA-201)
Presented by -
2
Contents
Basic Concepts and Automata Theory:
• Introduction to Theory of Computation
– Automata, Computability and Complexity
– Alphabet, Symbol, String, Formal Languages, Deterministic
Finite Automaton
• (DFA)- Definition, Representation, Acceptability of a String
and Language
• Non Deterministic Finite Automaton (NFA)
• Equivalence of DFA and NFA
88