# Theory of Formal Languages Lecture Notes

- Introduction to Turing Machine
pdf
- Turing Machine as Language Recognizer
pdf
- Turing Machine and Computability
pdf
- Varaints of Turing Machine
pdf
- Universal Turing Machine
pdf
- Linear Bounded Automata and Context Senstive Grammars
pdf
- Turing computable functions pdf
- Primitive Recursive Functions pdf
- Sequential operations on TMs, Recursive but not primitive Functions pdf
- Decidability & Computability pdf
- Decidability Theory & Decidable Languages pdf
- Decidability Theory & Decidable Languages part-2 pdf
- Recursive and Recursively Enumerable Languages pdf
- Lambda Calculus pdf