SlideShare ist ein Scribd-Unternehmen logo
1 von 16
Theory of AUTOMATA
BY MOBEEN
BY MOBEEN
Kleene’s Theorem
If a language can be expressed by
FA or
TG or
RE then it can also be expressed by other two as well.
It may be noted that the theorem is proved, proving the
following three parts
Kleene’s Theorem Part I
If a language can be accepted by an FA then it can be accepted
by a TG as well.
Kleene’s Theorem
Kleene’s Theorem Part II
If a language can be accepted by a TG then it can be expressed
by an RE as well.
Kleene’s Theorem Part III
If a language can be expressed by a RE then it can be accepted
by an FA as well.
Proof(Kleene’s Theorem Part I)
Since every FA can be considered to be a TG as well, therefore
there is nothing to prove.
Kleene’s Theorem
Proof(Kleene’s Theorem Part II)
To prove part II of the theorem, an algorithm consisting of
different steps, is explained showing how a RE can be obtained
corresponding to the given TG. For this purpose the notion of
TG is changed to that of GTG i.e. the labels of transitions are
corresponding REs.
Basically this algorithm converts the given TG to GTG with
one initial state along with a single loop, or one initial state
connected with one final state by a single transition edge.
The label of the loop or the transition edge will be the
required RE.
Kleene’s Theorem
Step 1:
If a TG has more than one start states, then introduce a new
start state connecting the new state to the old start states by the
transitions labeled by and make the old start states the non-Λ
start states. This step can be shown by the following example
Example
Kleene’s Theorem
The above TG can be converted to
Kleene’s Theorem
Step 2:
If a TG has more than one final states, then introduce a new
final state, connecting the old final states to the new final state
by the transitions labeled by .Λ
This step can be shown by the previous example of TG, where
the step 1 has already been processed
Example
Kleene’s Theorem
The above TG can be converted to
Kleene’s Theorem
Step 3:
If a state has two (more than one) incoming transition edges
labeled by the corresponding REs, from the same state
(including the possibility of loops at a state), then replace all
these transition edges with a single transition edge labeled by
the sum of corresponding REs.
This step can be shown by a part of TG in the following
example
Kleene’s Theorem
Example
The above TG can be reduced to
Kleene’s Theorem
Note:
The step 3 can be generalized to any finite number of
transitions as shown below
The above TG can be reduced to
Kleene’s Theorem
Step 4 (bypass and state elimination)
If three states in a TG, are connected in sequence then
eliminate the middle state and connect the first state with the
third by a single transition (include the possibility of circuit as
well) labeled by the RE which is the concatenation of
corresponding two REs in the existing sequence.
 This step can be shown by a part of TG in the following
example
Kleene’s Theorem
Example
To eliminate state 5 the above can be reduced to
Kleene’s Theorem
 Example
 Consider the part of a TG, containing a circuit at a state, as shown below
To eliminate state 3 the above TG can be reduced to
Kleene’s Theorem
 Example
 Consider a part of the following TG
To eliminate state 3 the above TG can be reduced to
To eliminate state 4 the above TG can be reduced to
Kleene’s Theorem
Note:
It is to be noted that to determine the RE corresponding to a
certain TG, four steps have been discussed. This process can be
explained by the following particular examples of TGs.Now
please your self.
Example:
Consider the following TG

Weitere Àhnliche Inhalte

Was ist angesagt?

17. Recovery System in DBMS
17. Recovery System in DBMS17. Recovery System in DBMS
17. Recovery System in DBMS
koolkampus
 
Finite automata examples
Finite automata examplesFinite automata examples
Finite automata examples
ankitamakin
 
Context free grammars
Context free grammarsContext free grammars
Context free grammars
Ronak Thakkar
 

Was ist angesagt? (20)

17. Recovery System in DBMS
17. Recovery System in DBMS17. Recovery System in DBMS
17. Recovery System in DBMS
 
Intro automata theory
Intro automata theory Intro automata theory
Intro automata theory
 
AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
 
1.7. eqivalence of nfa and dfa
1.7. eqivalence of nfa and dfa1.7. eqivalence of nfa and dfa
1.7. eqivalence of nfa and dfa
 
NFA to DFA
NFA to DFANFA to DFA
NFA to DFA
 
Regular expressions
Regular expressionsRegular expressions
Regular expressions
 
Automata theory
Automata theoryAutomata theory
Automata theory
 
Multi Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing MachineMulti Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing Machine
 
Chomsky Hierarchy.ppt
Chomsky Hierarchy.pptChomsky Hierarchy.ppt
Chomsky Hierarchy.ppt
 
Implementation of lexical analyser
Implementation of lexical analyserImplementation of lexical analyser
Implementation of lexical analyser
 
RECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSINGRECURSIVE DESCENT PARSING
RECURSIVE DESCENT PARSING
 
Parsing
ParsingParsing
Parsing
 
Recursion tree method
Recursion tree methodRecursion tree method
Recursion tree method
 
Finite automata examples
Finite automata examplesFinite automata examples
Finite automata examples
 
Predicate calculus
Predicate calculusPredicate calculus
Predicate calculus
 
Compiler construction tools
Compiler construction toolsCompiler construction tools
Compiler construction tools
 
Predicate logic
 Predicate logic Predicate logic
Predicate logic
 
Context free grammars
Context free grammarsContext free grammars
Context free grammars
 
15 puzzle problem using branch and bound
15 puzzle problem using branch and bound15 puzzle problem using branch and bound
15 puzzle problem using branch and bound
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
 

Mehr von Mobeen Mustafa (11)

Theory of automata
Theory of automataTheory of automata
Theory of automata
 
FInite Automata
FInite AutomataFInite Automata
FInite Automata
 
Language
LanguageLanguage
Language
 
Mathematical preliminaries in Automata
Mathematical preliminaries in AutomataMathematical preliminaries in Automata
Mathematical preliminaries in Automata
 
Lect3 ch15-unit2
Lect3 ch15-unit2Lect3 ch15-unit2
Lect3 ch15-unit2
 
Incremental Model
Incremental ModelIncremental Model
Incremental Model
 
RAD
RADRAD
RAD
 
Types of graphics cards
Types of graphics cardsTypes of graphics cards
Types of graphics cards
 
convert number to string
convert number to string convert number to string
convert number to string
 
Process or preparing effective b.m
Process or preparing effective b.mProcess or preparing effective b.m
Process or preparing effective b.m
 
Lecture1
Lecture1Lecture1
Lecture1
 

KĂŒrzlich hochgeladen

The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptx
heathfieldcps1
 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
AnaAcapella
 

KĂŒrzlich hochgeladen (20)

The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptx
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.ppt
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024
 
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxSKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptx
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
80 ĐỀ THI THỏ TUYỂN SINH TIáșŸNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỏ TUYỂN SINH TIáșŸNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...80 ĐỀ THI THỏ TUYỂN SINH TIáșŸNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỏ TUYỂN SINH TIáșŸNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
Spatium Project Simulation student brief
Spatium Project Simulation student briefSpatium Project Simulation student brief
Spatium Project Simulation student brief
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 

Kleene's theorem

  • 1. Theory of AUTOMATA BY MOBEEN BY MOBEEN
  • 2. Kleene’s Theorem If a language can be expressed by FA or TG or RE then it can also be expressed by other two as well. It may be noted that the theorem is proved, proving the following three parts Kleene’s Theorem Part I If a language can be accepted by an FA then it can be accepted by a TG as well.
  • 3. Kleene’s Theorem Kleene’s Theorem Part II If a language can be accepted by a TG then it can be expressed by an RE as well. Kleene’s Theorem Part III If a language can be expressed by a RE then it can be accepted by an FA as well. Proof(Kleene’s Theorem Part I) Since every FA can be considered to be a TG as well, therefore there is nothing to prove.
  • 4. Kleene’s Theorem Proof(Kleene’s Theorem Part II) To prove part II of the theorem, an algorithm consisting of different steps, is explained showing how a RE can be obtained corresponding to the given TG. For this purpose the notion of TG is changed to that of GTG i.e. the labels of transitions are corresponding REs. Basically this algorithm converts the given TG to GTG with one initial state along with a single loop, or one initial state connected with one final state by a single transition edge. The label of the loop or the transition edge will be the required RE.
  • 5. Kleene’s Theorem Step 1: If a TG has more than one start states, then introduce a new start state connecting the new state to the old start states by the transitions labeled by and make the old start states the non-Λ start states. This step can be shown by the following example Example
  • 6. Kleene’s Theorem The above TG can be converted to
  • 7. Kleene’s Theorem Step 2: If a TG has more than one final states, then introduce a new final state, connecting the old final states to the new final state by the transitions labeled by .Λ This step can be shown by the previous example of TG, where the step 1 has already been processed Example
  • 8. Kleene’s Theorem The above TG can be converted to
  • 9. Kleene’s Theorem Step 3: If a state has two (more than one) incoming transition edges labeled by the corresponding REs, from the same state (including the possibility of loops at a state), then replace all these transition edges with a single transition edge labeled by the sum of corresponding REs. This step can be shown by a part of TG in the following example
  • 11. Kleene’s Theorem Note: The step 3 can be generalized to any finite number of transitions as shown below The above TG can be reduced to
  • 12. Kleene’s Theorem Step 4 (bypass and state elimination) If three states in a TG, are connected in sequence then eliminate the middle state and connect the first state with the third by a single transition (include the possibility of circuit as well) labeled by the RE which is the concatenation of corresponding two REs in the existing sequence.  This step can be shown by a part of TG in the following example
  • 13. Kleene’s Theorem Example To eliminate state 5 the above can be reduced to
  • 14. Kleene’s Theorem  Example  Consider the part of a TG, containing a circuit at a state, as shown below To eliminate state 3 the above TG can be reduced to
  • 15. Kleene’s Theorem  Example  Consider a part of the following TG To eliminate state 3 the above TG can be reduced to To eliminate state 4 the above TG can be reduced to
  • 16. Kleene’s Theorem Note: It is to be noted that to determine the RE corresponding to a certain TG, four steps have been discussed. This process can be explained by the following particular examples of TGs.Now please your self. Example: Consider the following TG