SlideShare a Scribd company logo
1 of 11
The Central
Concepts of
Automata Theory
-Sampath Kumar S,
AP/CSE, SECE
1
21 November
2017
Alphabet:
An alphabet is a finite, non-empty set of
symbols
We use the symbol ∑ (sigma) to denote
an alphabet
Examples:
 Binary: ∑ = {0,1}
 All lower case letters: ∑ = {a,b,c,..z}
 Alphanumeric: ∑ = {a-z, A-Z, 0-9}
 Engineering classes: ∑ = {1st Yr, 2nd Yr, 3rd Yr,
Final Yr}
2 21 November 2017
Strings:
A string or word is a finite sequence of
symbols chosen from ∑
Empty string is donated by  (epsilon)
or λ (lambda).
3 21 November 2017
Length of a String:
 It is the number of meaningful
symbols/alphabets (non- ) present in a
string.
 Length of a string w, denoted by “|w|”.
– E.g., if x = 010100 then |x| = 6
– If x = 01  0  1  00  then|x| = ?
 If |W|= 0, it is called an empty string (Denoted by
λ or ε)
 xy = concatenation of two strings x and y
4 21 November 2017
Powers of an alphabet:
Let ∑ be an alphabet.
 ∑k = the set of all strings of length k
 ∑* = ∑0 U ∑1 U ∑2 U …
 ∑+ = ∑1 U ∑2 U ∑3 U …
5 21 November 2017
Kleene Closure:
 Kleene closure (A.K.A Kleene operator or
Kleene star)
 Definition: The Kleene closure, ∑*, is an unary
operator on a set of symbols or strings, ∑, that
gives the infinite set of all possible strings of all
possible lengths over ∑ including ε.
 Representation − ∑* = ∑0 ∪ ∑1 ∪ ∑2 ∪…….
where ∑p is the set of all possible strings of length
p.
 Example − If ∑ = {a, b},
then ∑* = {ε, a, b, aa, ab, bb, ba,………..}
6 21 November 2017
Kleene Plus Closure:
 Kleene plus closure (A.K.A Positive
Closure)
 Definition: The set ∑+ is the infinite set of all
possible strings of all possible lengths over ∑
excluding ε.
 Representation − ∑+ = ∑1 ∪ ∑2 ∪…….
(or) ∑+ = ∑* − {ε}
 Example − If ∑ = {a, b},
then ∑+ = {a, b, aa, ab, bb, ba,………..}
7 21 November 2017
Language:
 A language is a subset of ∑* for some alphabet ∑. It can be finite or
infinite.
 Examples:
1. Let L be the language of all strings consisting of n 0’s followed
by n 1’s:
L = {,01,0011,000111,…}
2. Let L be the language of all strings of with equal number of 0’s
and 1’s:
L = {,01,10,0011,1100,0101,1010,1001,…}
3. If the language takes all possible strings of length 2 over ∑ =
{a, b}, then L = { ab, bb, ba, bb}
 Ø denotes the Empty language
• Let L = {}; Is L=Ø?
8 21 November 2017
The Membership Problem
Given a string w ∑*and a language L over ∑,
decide whether or not w L.
Example:
Let w = 100011
Q) Is w  the language of strings with equal
number of 0s and 1s?
9 21 November 2017
21 November 201710
நன்றி
21 November 201711

More Related Content

What's hot

Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1
Srimatre K
 
Issues in knowledge representation
Issues in knowledge representationIssues in knowledge representation
Issues in knowledge representation
Sravanthi Emani
 

What's hot (20)

Analysis modeling & scenario based modeling
Analysis modeling &  scenario based modeling Analysis modeling &  scenario based modeling
Analysis modeling & scenario based modeling
 
ELEMENTS OF TRANSPORT PROTOCOL
ELEMENTS OF TRANSPORT PROTOCOLELEMENTS OF TRANSPORT PROTOCOL
ELEMENTS OF TRANSPORT PROTOCOL
 
I. AO* SEARCH ALGORITHM
I. AO* SEARCH ALGORITHMI. AO* SEARCH ALGORITHM
I. AO* SEARCH ALGORITHM
 
Context free grammar
Context free grammar Context free grammar
Context free grammar
 
ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introduction
 
Context free grammar
Context free grammarContext free grammar
Context free grammar
 
Leaky Bucket & Tocken Bucket - Traffic shaping
Leaky Bucket & Tocken Bucket - Traffic shapingLeaky Bucket & Tocken Bucket - Traffic shaping
Leaky Bucket & Tocken Bucket - Traffic shaping
 
Dempster shafer theory
Dempster shafer theoryDempster shafer theory
Dempster shafer theory
 
Multi Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing MachineMulti Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing Machine
 
Bootstrapping in Compiler
Bootstrapping in CompilerBootstrapping in Compiler
Bootstrapping in Compiler
 
Ch 7 Knowledge Representation.pdf
Ch 7 Knowledge Representation.pdfCh 7 Knowledge Representation.pdf
Ch 7 Knowledge Representation.pdf
 
Phases of Compiler
Phases of CompilerPhases of Compiler
Phases of Compiler
 
Basic Traversal and Search Techniques
Basic Traversal and Search TechniquesBasic Traversal and Search Techniques
Basic Traversal and Search Techniques
 
Distributed operating system(os)
Distributed operating system(os)Distributed operating system(os)
Distributed operating system(os)
 
Greedy Algorihm
Greedy AlgorihmGreedy Algorihm
Greedy Algorihm
 
Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1
 
Frames
FramesFrames
Frames
 
Predicate logic
 Predicate logic Predicate logic
Predicate logic
 
Issues in knowledge representation
Issues in knowledge representationIssues in knowledge representation
Issues in knowledge representation
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)
 

Similar to 1.1. the central concepts of automata theory

Final formal languages
Final formal languagesFinal formal languages
Final formal languages
Megha Khanna
 

Similar to 1.1. the central concepts of automata theory (20)

Theory of computation
Theory of computationTheory of computation
Theory of computation
 
Lecture 1,2
Lecture 1,2Lecture 1,2
Lecture 1,2
 
Theory of Automata Lesson 02
Theory of Automata Lesson 02Theory of Automata Lesson 02
Theory of Automata Lesson 02
 
Ch2 automata.pptx
Ch2 automata.pptxCh2 automata.pptx
Ch2 automata.pptx
 
Lesson 02
Lesson 02Lesson 02
Lesson 02
 
Lesson 02
Lesson 02Lesson 02
Lesson 02
 
theory of computation lecture 02
theory of computation lecture 02theory of computation lecture 02
theory of computation lecture 02
 
Theory of Automata Lesson 01
 Theory of Automata Lesson 01  Theory of Automata Lesson 01
Theory of Automata Lesson 01
 
Final formal languages
Final formal languagesFinal formal languages
Final formal languages
 
1.5 & 1.6 regular languages & regular expression
1.5 & 1.6 regular languages & regular expression1.5 & 1.6 regular languages & regular expression
1.5 & 1.6 regular languages & regular expression
 
Lesson-01-29092022-081117pm.ppt
Lesson-01-29092022-081117pm.pptLesson-01-29092022-081117pm.ppt
Lesson-01-29092022-081117pm.ppt
 
Theory of automata and formal language
Theory of automata and formal languageTheory of automata and formal language
Theory of automata and formal language
 
01 alphabets strings and languages
01 alphabets strings and languages01 alphabets strings and languages
01 alphabets strings and languages
 
Theory of Automata
Theory of AutomataTheory of Automata
Theory of Automata
 
Theory of Automata ___ Basis ...........
Theory of Automata ___ Basis ...........Theory of Automata ___ Basis ...........
Theory of Automata ___ Basis ...........
 
basics of autometa theory for beginner .
basics of autometa theory for beginner .basics of autometa theory for beginner .
basics of autometa theory for beginner .
 
Algorithms on Strings
Algorithms on StringsAlgorithms on Strings
Algorithms on Strings
 
Chapter1 Formal Language and Automata Theory
Chapter1 Formal Language and Automata TheoryChapter1 Formal Language and Automata Theory
Chapter1 Formal Language and Automata Theory
 
L_2_apl.pptx
L_2_apl.pptxL_2_apl.pptx
L_2_apl.pptx
 
Cs419 lec4 lexical analysis using re
Cs419 lec4   lexical analysis using reCs419 lec4   lexical analysis using re
Cs419 lec4 lexical analysis using re
 

More from Sampath Kumar S

More from Sampath Kumar S (20)

5.2 primitive recursive functions
5.2 primitive recursive functions5.2 primitive recursive functions
5.2 primitive recursive functions
 
4.7. chomskian hierarchy of languages
4.7. chomskian hierarchy of languages4.7. chomskian hierarchy of languages
4.7. chomskian hierarchy of languages
 
4.6 halting problem
4.6 halting problem4.6 halting problem
4.6 halting problem
 
4.3 techniques for turing machines construction
4.3 techniques for turing machines construction4.3 techniques for turing machines construction
4.3 techniques for turing machines construction
 
4.2 variantsof turing machines (types of tm)
4.2 variantsof turing machines (types of tm)4.2 variantsof turing machines (types of tm)
4.2 variantsof turing machines (types of tm)
 
4.1 turing machines
4.1 turing machines4.1 turing machines
4.1 turing machines
 
3.6 & 7. pumping lemma for cfl & problems based on pl
3.6 & 7. pumping lemma for cfl & problems based on pl3.6 & 7. pumping lemma for cfl & problems based on pl
3.6 & 7. pumping lemma for cfl & problems based on pl
 
3.5 equivalence of pushdown automata and cfl
3.5 equivalence of pushdown automata and cfl3.5 equivalence of pushdown automata and cfl
3.5 equivalence of pushdown automata and cfl
 
3.4 deterministic pda
3.4 deterministic pda3.4 deterministic pda
3.4 deterministic pda
 
3.1,2,3 pushdown automata definition, moves & id
3.1,2,3 pushdown automata   definition, moves & id3.1,2,3 pushdown automata   definition, moves & id
3.1,2,3 pushdown automata definition, moves & id
 
2.8 normal forms gnf & problems
2.8 normal forms   gnf & problems2.8 normal forms   gnf & problems
2.8 normal forms gnf & problems
 
2.7 normal forms cnf & problems
2.7 normal forms  cnf & problems2.7 normal forms  cnf & problems
2.7 normal forms cnf & problems
 
2.5 ambiguity in context free grammars
2.5 ambiguity in context free grammars2.5 ambiguity in context free grammars
2.5 ambiguity in context free grammars
 
2.4 derivations and languages
2.4 derivations and languages2.4 derivations and languages
2.4 derivations and languages
 
2.3 context free grammars and languages
2.3 context free grammars and languages2.3 context free grammars and languages
2.3 context free grammars and languages
 
2.1 & 2.2 grammar introduction – types of grammar
2.1 & 2.2 grammar introduction – types of grammar2.1 & 2.2 grammar introduction – types of grammar
2.1 & 2.2 grammar introduction – types of grammar
 
1.10. pumping lemma for regular sets
1.10. pumping lemma for regular sets1.10. pumping lemma for regular sets
1.10. pumping lemma for regular sets
 
1.9. minimization of dfa
1.9. minimization of dfa1.9. minimization of dfa
1.9. minimization of dfa
 
1.8. equivalence of finite automaton and regular expressions
1.8. equivalence of finite automaton and regular expressions1.8. equivalence of finite automaton and regular expressions
1.8. equivalence of finite automaton and regular expressions
 
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
 

Recently uploaded

Recently uploaded (20)

Interdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptxInterdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptx
 
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
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
21st_Century_Skills_Framework_Final_Presentation_2.pptx
21st_Century_Skills_Framework_Final_Presentation_2.pptx21st_Century_Skills_Framework_Final_Presentation_2.pptx
21st_Century_Skills_Framework_Final_Presentation_2.pptx
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
 
Philosophy of china and it's charactistics
Philosophy of china and it's charactisticsPhilosophy of china and it's charactistics
Philosophy of china and it's charactistics
 
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
 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & Systems
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
 
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptxExploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 

1.1. the central concepts of automata theory

  • 1. The Central Concepts of Automata Theory -Sampath Kumar S, AP/CSE, SECE 1 21 November 2017
  • 2. Alphabet: An alphabet is a finite, non-empty set of symbols We use the symbol ∑ (sigma) to denote an alphabet Examples:  Binary: ∑ = {0,1}  All lower case letters: ∑ = {a,b,c,..z}  Alphanumeric: ∑ = {a-z, A-Z, 0-9}  Engineering classes: ∑ = {1st Yr, 2nd Yr, 3rd Yr, Final Yr} 2 21 November 2017
  • 3. Strings: A string or word is a finite sequence of symbols chosen from ∑ Empty string is donated by  (epsilon) or λ (lambda). 3 21 November 2017
  • 4. Length of a String:  It is the number of meaningful symbols/alphabets (non- ) present in a string.  Length of a string w, denoted by “|w|”. – E.g., if x = 010100 then |x| = 6 – If x = 01  0  1  00  then|x| = ?  If |W|= 0, it is called an empty string (Denoted by λ or ε)  xy = concatenation of two strings x and y 4 21 November 2017
  • 5. Powers of an alphabet: Let ∑ be an alphabet.  ∑k = the set of all strings of length k  ∑* = ∑0 U ∑1 U ∑2 U …  ∑+ = ∑1 U ∑2 U ∑3 U … 5 21 November 2017
  • 6. Kleene Closure:  Kleene closure (A.K.A Kleene operator or Kleene star)  Definition: The Kleene closure, ∑*, is an unary operator on a set of symbols or strings, ∑, that gives the infinite set of all possible strings of all possible lengths over ∑ including ε.  Representation − ∑* = ∑0 ∪ ∑1 ∪ ∑2 ∪……. where ∑p is the set of all possible strings of length p.  Example − If ∑ = {a, b}, then ∑* = {ε, a, b, aa, ab, bb, ba,………..} 6 21 November 2017
  • 7. Kleene Plus Closure:  Kleene plus closure (A.K.A Positive Closure)  Definition: The set ∑+ is the infinite set of all possible strings of all possible lengths over ∑ excluding ε.  Representation − ∑+ = ∑1 ∪ ∑2 ∪……. (or) ∑+ = ∑* − {ε}  Example − If ∑ = {a, b}, then ∑+ = {a, b, aa, ab, bb, ba,………..} 7 21 November 2017
  • 8. Language:  A language is a subset of ∑* for some alphabet ∑. It can be finite or infinite.  Examples: 1. Let L be the language of all strings consisting of n 0’s followed by n 1’s: L = {,01,0011,000111,…} 2. Let L be the language of all strings of with equal number of 0’s and 1’s: L = {,01,10,0011,1100,0101,1010,1001,…} 3. If the language takes all possible strings of length 2 over ∑ = {a, b}, then L = { ab, bb, ba, bb}  Ø denotes the Empty language • Let L = {}; Is L=Ø? 8 21 November 2017
  • 9. The Membership Problem Given a string w ∑*and a language L over ∑, decide whether or not w L. Example: Let w = 100011 Q) Is w  the language of strings with equal number of 0s and 1s? 9 21 November 2017

Editor's Notes

  1. School of EECS, WSU
  2. School of EECS, WSU
  3. School of EECS, WSU
  4. School of EECS, WSU
  5. School of EECS, WSU
  6. School of EECS, WSU
  7. School of EECS, WSU
  8. School of EECS, WSU
  9. School of EECS, WSU