SlideShare a Scribd company logo
DMI-ST. JOHN THE BAPTIST UNIVERSITY
LILONGWE, MALAWI
Module Code: 055CS62
Subject Name: Theory of computation
Unit III Detail Notes
School of Computer Science
Module Teacher: Fanny Chatola
Syllabus
Introduction, Regular Grammar, Context Free Grammar- Definition, Derivation, Language of grammar, sentential
form, parse tree, inference, derivation, parse trees, ambiguity in grammar and Language- ambiguous Grammar,
Simplification of CFG: Eliminating unit productions, useless production, useless symbols, and Є-productions,
Normal Forms- Chomsky normal form, Greibach normal form, Closure properties of CFL, Decision properties of CFL,
Chomsky Hierarchy, Application of CFG: Parser, Markup languages, XML and Document Type Definitions.
Case Study- CFG for Palindromes, Parenthesis Match.
INTRODUCTION:
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering

More Related Content

PPTX
ARTIFICIAL INTELLIGENCE CONSTRAINT SATISFACTION PROBLEMS (CSPS) AND MINI-MAX....
PPT
ARTIFICAIL INTELLIGENCE AO ALGORITHMS NOTES
PPTX
business intelligence and analytics notes
PPTX
VOICE OVER INTERNET PROTOCOL(VOIP) notes
PPTX
PC HARWARE AND TROUBLE SHOOTING INTRODUCTION
PDF
Unit I Data structure and algorithms notes
PDF
UG_B.Sc._Information Technology_129 14_Office Automation Lab.pdf
PPT
computer Hardware and trouble shooting Basics
ARTIFICIAL INTELLIGENCE CONSTRAINT SATISFACTION PROBLEMS (CSPS) AND MINI-MAX....
ARTIFICAIL INTELLIGENCE AO ALGORITHMS NOTES
business intelligence and analytics notes
VOICE OVER INTERNET PROTOCOL(VOIP) notes
PC HARWARE AND TROUBLE SHOOTING INTRODUCTION
Unit I Data structure and algorithms notes
UG_B.Sc._Information Technology_129 14_Office Automation Lab.pdf
computer Hardware and trouble shooting Basics

More from FIONACHATOLA (10)

PPTX
Introduction to Email, internet protocols
PPTX
Introduction to Internet Protocol ADDRESS.pptx
PPTX
introduction to OSI MODEL-WPS Office.pptx
PDF
computer system organization and architecture
PDF
computer fundamentals -e- notes for IT & CS
DOCX
theory of computation notes for school of engineering
DOCX
theory of computation notes for school of engineering
DOCX
theory of computation notes for school of engineering
DOCX
theory of computation notes for school of engineering
DOCX
in computer data structures and algorithms
Introduction to Email, internet protocols
Introduction to Internet Protocol ADDRESS.pptx
introduction to OSI MODEL-WPS Office.pptx
computer system organization and architecture
computer fundamentals -e- notes for IT & CS
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
theory of computation notes for school of engineering
in computer data structures and algorithms
Ad

Recently uploaded (20)

PDF
Operating System & Kernel Study Guide-1 - converted.pdf
PDF
July 2025 - Top 10 Read Articles in International Journal of Software Enginee...
PPTX
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
PDF
PRIZ Academy - 9 Windows Thinking Where to Invest Today to Win Tomorrow.pdf
PDF
Automation-in-Manufacturing-Chapter-Introduction.pdf
PDF
R24 SURVEYING LAB MANUAL for civil enggi
PPTX
MCN 401 KTU-2019-PPE KITS-MODULE 2.pptx
PPT
Project quality management in manufacturing
PPT
CRASH COURSE IN ALTERNATIVE PLUMBING CLASS
PDF
Well-logging-methods_new................
PPTX
Construction Project Organization Group 2.pptx
PPTX
Internet of Things (IOT) - A guide to understanding
PPTX
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PPTX
Geodesy 1.pptx...............................................
PDF
The CXO Playbook 2025 – Future-Ready Strategies for C-Suite Leaders Cerebrai...
PPTX
FINAL REVIEW FOR COPD DIANOSIS FOR PULMONARY DISEASE.pptx
PPT
Mechanical Engineering MATERIALS Selection
PPTX
UNIT-1 - COAL BASED THERMAL POWER PLANTS
PPTX
Foundation to blockchain - A guide to Blockchain Tech
PPTX
M Tech Sem 1 Civil Engineering Environmental Sciences.pptx
Operating System & Kernel Study Guide-1 - converted.pdf
July 2025 - Top 10 Read Articles in International Journal of Software Enginee...
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
PRIZ Academy - 9 Windows Thinking Where to Invest Today to Win Tomorrow.pdf
Automation-in-Manufacturing-Chapter-Introduction.pdf
R24 SURVEYING LAB MANUAL for civil enggi
MCN 401 KTU-2019-PPE KITS-MODULE 2.pptx
Project quality management in manufacturing
CRASH COURSE IN ALTERNATIVE PLUMBING CLASS
Well-logging-methods_new................
Construction Project Organization Group 2.pptx
Internet of Things (IOT) - A guide to understanding
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
Geodesy 1.pptx...............................................
The CXO Playbook 2025 – Future-Ready Strategies for C-Suite Leaders Cerebrai...
FINAL REVIEW FOR COPD DIANOSIS FOR PULMONARY DISEASE.pptx
Mechanical Engineering MATERIALS Selection
UNIT-1 - COAL BASED THERMAL POWER PLANTS
Foundation to blockchain - A guide to Blockchain Tech
M Tech Sem 1 Civil Engineering Environmental Sciences.pptx
Ad

theory of computation notes for school of engineering

  • 1. DMI-ST. JOHN THE BAPTIST UNIVERSITY LILONGWE, MALAWI Module Code: 055CS62 Subject Name: Theory of computation Unit III Detail Notes School of Computer Science Module Teacher: Fanny Chatola
  • 2. Syllabus Introduction, Regular Grammar, Context Free Grammar- Definition, Derivation, Language of grammar, sentential form, parse tree, inference, derivation, parse trees, ambiguity in grammar and Language- ambiguous Grammar, Simplification of CFG: Eliminating unit productions, useless production, useless symbols, and Є-productions, Normal Forms- Chomsky normal form, Greibach normal form, Closure properties of CFL, Decision properties of CFL, Chomsky Hierarchy, Application of CFG: Parser, Markup languages, XML and Document Type Definitions. Case Study- CFG for Palindromes, Parenthesis Match.