CSC312 Automata Theory Lecture # 8 Chapter # 5 (Cont…) Finite Automata.

Slides:



Advertisements
Similar presentations
Theory Of Automata By Dr. MM Alam
Advertisements

Lecture 9,10 Theory of AUTOMATA
Theory Of Automata By Dr. MM Alam
Finite Automata with Output
Finite Automata Finite-state machine with no output. FA consists of States, Transitions between states FA is a 5-tuple Example! A string x is recognized.
Tutorial CSC3130 : Formal Languages and Automata Theory Tu Shikui ( ) SHB 905, Office hour: Thursday 2:30pm-3:30pm
Cohen, Chapter 61 Introduction to Computational Theory Chapter 6.
COMMONWEALTH OF AUSTRALIA Copyright Regulations 1969 WARNING This material has been reproduced and communicated to you by or on behalf of Monash University.
COMMONWEALTH OF AUSTRALIA Copyright Regulations 1969 WARNING This material has been reproduced and communicated to you by or on behalf of Monash University.
1 Finite Automata. 2 Finite Automaton Input “Accept” or “Reject” String Finite Automaton Output.
Transparency No. 7-1 Formal Language and Automata Theory Chapter 7 Limitations of Finite Automata (lecture 11 and 12)
Finite Automata Chapter 5. Formal Language Definitions Why need formal definitions of language –Define a precise, unambiguous and uniform interpretation.
1.Defs. a)Finite Automaton: A Finite Automaton ( FA ) has finite set of ‘states’ ( Q={q 0, q 1, q 2, ….. ) and its ‘control’ moves from state to state.
Lecture 5UofH - COSC Dr. Verma 1 COSC 3340: Introduction to Theory of Computation University of Houston Dr. Verma Lecture 5.
Regular Languages A language is regular over  if it can be built from ;, {  }, and { a } for every a 2 , using operators union ( [ ), concatenation.
Lecture 03: Theory of Automata:08 Finite Automata.
CSC312 Automata Theory Lecture # 2 Languages.
Formal Methods in SE Theory of Automata Qasiar Javaid Assistant Professor Lecture # 06.
Lecture 07: Formal Methods in SE Finite Automata Lecture # 07 Qaisar Javaid Assistant Professor.
Lecture 05: Theory of Automata:08 Kleene’s Theorem and NFA.
Finite Automata.
1 Recap lecture 27 Pumping lemma version II, proof, examples, Myhill Nerode theorem, examples.
Lecture 4 Theory of AUTOMATA
Recursive Definations Regular Expressions Ch # 4 by Cohen
CSC312 Automata Theory Nonregular Languages Chapter # 10 by Cohen
Theory of Computing CSCI 356/541 Lab Session. Outline Lab 1: Finite Automata  Construct and Run Construct and Run  Manipulating Transitions Manipulating.
Finite Automata Chapter 1. Automatic Door Example Top View.
Lecture 04: Theory of Automata:08 Transition Graphs.
Lecture # 4.
Formal Languages Finite Automata Dr.Hamed Alrjoub 1FA1.
CSCI 4325 / 6339 Theory of Computation Zhixiang Chen.
1 Section 11.2 Finite Automata Can a machine(i.e., algorithm) recognize a regular language? Yes! Deterministic Finite Automata A deterministic finite automaton.
Lecture 03: Theory of Automata:2014 Asif Nawaz Theory of Automata.
Deterministic Finite Automata Nondeterministic Finite Automata.
L ECTURE 3 T HEORY OF AUTOMATA. E QUIVALENT R EGULAR E XPRESSIONS Definition Two regular expressions are said to be equivalent if they generate the same.
Lecture # 8 (Transition Graphs). Example Consider the language L of strings, defined over Σ={a, b}, having (containing) triple a or triple b. Consider.
Recap lecture 31 Context Free Grammar, Terminals, non- terminals, productions, CFG, context Free language, examples.
Lecture #5 Advanced Computation Theory Finite Automata.
Recap lecture 5 Different notations of transition diagrams, languages of strings of even length, Odd length, starting with b, ending in a (with different.
Theory of Computation Lecture #
Generalized Transition Graphs
Theory of Automata.
PDA’s - A new format for FAs
CSC312 Automata Theory Chapter # 5 by Cohen Finite Automata
Theory of Computation Lecture # 9-10.
Lecture 9 Theory of AUTOMATA
CSC312 Automata Theory Lecture # 4 Languages-III.
CSE322 Finite Automata Lecture #2.
Recap lecture 29 Example of prefixes of a language, Theorem: pref(Q in R) is regular, proof, example, Decidablity, deciding whether two languages are equivalent.
NFAs and Transition Graphs
CSE322 Minimization of finite Automaton & REGULAR LANGUAGES
Recap lecture 6 Language of strings, beginning with and ending in different letters, Accepting all strings, accepting non-empty strings, accepting no string,
Lecture 5 Theory of AUTOMATA
CSC312 Automata Theory Chapter # 5 by Cohen Finite Automata
CSC312 Automata Theory Transition Graphs Lecture # 9
RECAP Lecture 7 FA of EVEN EVEN, FA corresponding to finite languages(using both methods), Transition graphs.
Recap Lecture 15 Examples of Kleene’s theorem part III (method 3), NFA, examples, avoiding loop using NFA, example, converting FA to NFA, examples, applying.
Finite Automata with Output
Kleene’s Theorem (Part-3)
CSC312 Automata Theory Lecture # 5 Chapter # 4 Cont…
NFAs and Transition Graphs
Chapter # 5 by Cohen (Cont…)
CSC312 Automata Theory Kleene’s Theorem Lecture # 12
Kleene’s Theorem (Part-3)
Recap Lecture 4 Regular expression of EVEN-EVEN language, Difference between a* + b* and (a+b)*, Equivalent regular expressions; sum, product and closure.
LECTURE # 07.
Mealy and Moore Machines
CSC312 Automata Theory Lecture # 24 Chapter # 11 by Cohen Decidability.
COSC 3340: Introduction to Theory of Computation
COSC 3340: Introduction to Theory of Computation
Presentation transcript:

CSC312 Automata Theory Lecture # 8 Chapter # 5 (Cont…) Finite Automata

Ex. The FA that accepts the language with all the strings that do not end with a. Sol. Do not ends with a = Ends with what? OR take the complement of “ends with a”. Ex-p-68. The language of all the words that have different first and last letter. Ex-p-65. The FA that accepts only the words baa and ab. Ex. The FA that accepts only the words baa, ba and ab.

Ex-p-65: What language the following FA accepts i.e. find RE.

Ex-p-65: What language the following FA accepts i.e. find RE.

Ex: FA for all strings having less than 3 b’s Ex: FA for all strings having less than 3 b’s. Ex: FA for EVEN-EVEN language RE = (aa+bb+(ab+ba)(aa+bb)*(ab+ba))* Q.4. (i) Build an FA with three states that accepts all strings. Q.6. FA that accepts only those word that do no end with ba. Sol: Do no end with ba = Ends with what? OR Find FA that ends with ba then take complement.

Q. 7: (i) Begin or end with double letter Q.7: (i) Begin or end with double letter. (ii) Begin and end with double letter. Sol: Find FA that begin with double letter Find FA that end with double letter Now combine the above two FAs. To find the solution of both the parts. Q.8: Even number of substring ab Q.9: (i) FA that accepts the language of all the strings that have both the letter a and the letter b in them, but not necessarily in that order. (ii) All the strings that have onl a’s or only b’s in them