UNIT – I Automata Fundamentals
Introduction to formal proof – Additional forms of Proof – Inductive Proofs – Finite Automata – Deterministic Finite Automata – Non-deterministic Finite Automata – Finite Automata with Epsilon Transitions (Chapter – 1)
UNIT – II Regular Expressions and Languages
Regular Expressions – FA and Regular Expressions – Proving Languages not to be regular – Closure Properties of Regular Languages – Equivalence and Minimization of Automata. (Chapter – 2)
UNIT – III Context Free Grammar and Languages
CFG – Parse Trees – Ambiguity in Grammars and Languages – Definition of the Pushdown Automata – Languages of a Pushdown Automata – Equivalence of Pushdown Automata and CFG, Deterministic Pushdown Automata. (Chapter – 3)
UNIT – IV Properties of Context Free Languages
Normal Forms for CFG – Pumping Lemma for CFL – Closure Properties of CFL – Turing Machines – Programming Techniques for TM. (Chapter – 4)
UNIT – V Undecidability
Non Recursive Enumerable (RE) Language – Undecidable Problem with RE – Undecidable Problems about TM – Post‘s Correspondence Problem, The Class P and NP. (Chapter – 5)
-4%Sold out
Theory of Computation for BE Anna University From Technical Publication
₹265.00 ₹255.00
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
Out of stock
Best Deal Guaranteed
100% Secure Payment
5 Days Return Policy (T&C)
2-6 Days Delivery
Description
Reviews (0)
Reviews
There are no reviews yet.
Related products
Object Oriented Analysis and Design for BE Anna University R17 CBCS From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
Computer Architecture By Kanimozhi
- Publication: Suchitra Publication
- Author: Kanimozhi
- As per the 2017 Anna University Regulation
Big Data Analytics for Anna University R17 CBCS From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
Advanced Topics on Databases for BE Anna University R17 CBCS From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
C# & .Net Programming for BE Anna University R17 From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
Multi – Core Architectures and Programming for Anna University R13 From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
Principles of Management for Anna University R17 CBCS From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017
Human Computer Interaction for BE Anna University R17 From Technical Publication
- Publisher: Technical Publication
- Binding: Paperback
- Language : English
- Edition: Latest Edition
- Condition:Brand New
- Regulation:AU 2017