Closure Properties of Regular Languages
|
|
- Grant Weaver
- 5 years ago
- Views:
Transcription
1 Closure Properties of Regular Languages Lecture 13 Section 4.1 Robb T. Koether Hampden-Sydney College Wed, Sep 21, 2016 Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
2 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
3 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
4 Closure Theorem (Closure Properties of Regular Languages) The class of regular languages is closed under the operations of complementation, union, concatenation, and Kleene star. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
5 Closure Proof for unions. A B Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
6 Closure Proof for unions. A B Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
7 Closure Proof for concatenations. A B Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
8 Closure Proof for concatenations. A B Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
9 Closure Proof for Kleene star. A Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
10 Closure Proof for Kleene star. A Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
11 Closure Example (Closure) A DFA for the language (A BC). A B C Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
12 Closure Example (Closure) A DFA for the language (A BC). A B C Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
13 Closure Example (Closure) A DFA for the language (A BC). A B C Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
14 Closure Example (Closure) A DFA for the language (A BC). ε A B C Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
15 Closure Example (Closure) If A = {a}, B = {b}, and C = {c}, then we have. A B C a c b Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
16 Closure Example (Closure) The equivalent DFA is. a a b a b c b Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
17 Closure Example (Closure) This can be minimized to. a a b c b Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
18 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
19 More Closure Properties Corollary The set of regular languages is closed under intersection and set difference. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
20 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
21 Example (Intersection) Let Σ = {a, b} and L 1 = {w w contains aba} L 2 = {w w contains bab} Design a DFA for L 1 L 2. Design a DFA for L 1 L 2. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
22 Example (Intersection) Let Σ = {a, b} and L 1 = {w w contains aba} L 2 = {w w contains bab} Design a DFA for L 1 L 2. Design a DFA for L 1 L 2. Design a DFA for L 1 L 2. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
23 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
24 Right Quotients Definition (Right Quotient) Let L 1 and L 2 be languages on an alphabet Σ. The right quotient of L 1 with L 2 is L 1 /L 2 = {x xy L 1 for some y L 2 }. Theorem If L 1 and L 2 are regular languages, then L 1 /L 2 is regular. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
25 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
26 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Define M = (Q, Σ, δ, q 0, F ) with F defined as follows. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
27 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Define M = (Q, Σ, δ, q 0, F ) with F defined as follows. For each q i Q, let M i = (Q, Σ, δ, q i, F ). Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
28 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Define M = (Q, Σ, δ, q 0, F ) with F defined as follows. For each q i Q, let M i = (Q, Σ, δ, q i, F ). Determine whether L(M i ) L 2 =. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
29 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Define M = (Q, Σ, δ, q 0, F ) with F defined as follows. For each q i Q, let M i = (Q, Σ, δ, q i, F ). Determine whether L(M i ) L 2 =. If L(M i ) L 2, then q i F. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
30 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Define M = (Q, Σ, δ, q 0, F ) with F defined as follows. For each q i Q, let M i = (Q, Σ, δ, q i, F ). Determine whether L(M i ) L 2 =. If L(M i ) L 2, then q i F. If L(M i ) L 2 =, then q i / F. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
31 Right Quotients Proof. Let L 1 = L(M) and M = (Q, Σ, δ, q 0, F ). Define M = (Q, Σ, δ, q 0, F ) with F defined as follows. For each q i Q, let M i = (Q, Σ, δ, q i, F ). Determine whether L(M i ) L 2 =. If L(M i ) L 2, then q i F. If L(M i ) L 2 =, then q i / F. The idea is that x goes from q 0 to q i for some q i Q. y goes from q i to q f for some q f F and y L 2. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
32 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
33 Right Quotients Example (Right Quotients) Let Σ = {a, b} and L 1 = L(aba ) L 2 = L(b a) That is, L 1 = {ab, aba, abaa, abaaa,...} L 2 = {a, ba, bba, bbba,...} Use the construction in the proof to create a DFA for L 1 /L 2. Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
34 Outline 1 Closure Properties of Regular Languages 2 Additional Closure Properties 3 Examples 4 Right Quotients 5 Example 6 Assignment Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
35 Assignment Assignment Section 4.1 Exercises 1a, 2, 4, 6b, 11, 12, 14, 16, 20. Is the family of regular languages closed under infinite union? That is, if L 1, L 2, L 3,... are regular languages, is L 1 L 2 L 3 necessarily a regular language? What about infinite intersections of regular languages? Must L 1 L 2 L 3 be regular? Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, / 28
Nondeterministic Finite Automata
Nondeterministic Finite Automata Lecture 6 Section 2.2 Robb T. Koether Hampden-Sydney College Mon, Sep 5, 2016 Robb T. Koether (Hampden-Sydney College) Nondeterministic Finite Automata Mon, Sep 5, 2016
More informationDirect Proof Rational Numbers
Direct Proof Rational Numbers Lecture 14 Section 4.2 Robb T. Koether Hampden-Sydney College Thu, Feb 7, 2013 Robb T. Koether (Hampden-Sydney College) Direct Proof Rational Numbers Thu, Feb 7, 2013 1 /
More informationLecture 7 Properties of regular languages
Lecture 7 Properties of regular languages COT 4420 Theory of Computation Section 4.1 Closure properties of regular languages If L 1 and L 2 are regular languages, then we prove that: Union: L 1 L 2 Concatenation:
More informationComposition of Functions
Composition of Functions Lecture 34 Section 7.3 Robb T. Koether Hampden-Sydney College Mon, Mar 25, 2013 Robb T. Koether (Hampden-Sydney College) Composition of Functions Mon, Mar 25, 2013 1 / 29 1 Composition
More informationDirect Proof Floor and Ceiling
Direct Proof Floor and Ceiling Lecture 17 Section 4.5 Robb T. Koether Hampden-Sydney College Wed, Feb 12, 2014 Robb T. Koether (Hampden-Sydney College) Direct Proof Floor and Ceiling Wed, Feb 12, 2014
More informationDirect Proof Division into Cases
Direct Proof Division into Cases Lecture 16 Section 4.4 Robb T. Koether Hampden-Sydney College Mon, Feb 10, 2014 Robb T. Koether (Hampden-Sydney College) Direct Proof Division into Cases Mon, Feb 10, 2014
More informationDirect Proof Universal Statements
Direct Proof Universal Statements Lecture 13 Section 4.1 Robb T. Koether Hampden-Sydney College Wed, Feb 6, 2013 Robb T. Koether (Hampden-Sydney College) Direct Proof Universal Statements Wed, Feb 6, 2013
More informationThe Pairwise-Comparison Method
The Pairwise-Comparison Method Lecture 12 Section 1.5 Robb T. Koether Hampden-Sydney College Mon, Sep 19, 2016 Robb T. Koether (Hampden-Sydney College) The Pairwise-Comparison Method Mon, Sep 19, 2016
More informationDirect Proof Divisibility
Direct Proof Divisibility Lecture 15 Section 4.3 Robb T. Koether Hampden-Sydney College Fri, Feb 8, 2013 Robb T. Koether (Hampden-Sydney College) Direct Proof Divisibility Fri, Feb 8, 2013 1 / 20 1 Divisibility
More informationDirect Proof Divisibility
Direct Proof Divisibility Lecture 15 Section 4.3 Robb T. Koether Hampden-Sydney College Fri, Feb 7, 2014 Robb T. Koether (Hampden-Sydney College) Direct Proof Divisibility Fri, Feb 7, 2014 1 / 23 1 Divisibility
More informationInstantaneous Rate of Change
Instantaneous Rate of Change Lecture 13 Section 2.1 Robb T. Koether Hampden-Sydney College Wed, Feb 8, 2017 Robb T. Koether (Hampden-Sydney College) Instantaneous Rate of Change Wed, Feb 8, 2017 1 / 11
More informationMaximums and Minimums
Maximums and Minimums Lecture 25 Section 3.1 Robb T. Koether Hampden-Sydney College Mon, Mar 6, 2017 Robb T. Koether (Hampden-Sydney College) Maximums and Minimums Mon, Mar 6, 2017 1 / 9 Objectives Objectives
More informationPredicates and Quantifiers
Predicates and Quantifiers Lecture 9 Section 3.1 Robb T. Koether Hampden-Sydney College Wed, Jan 29, 2014 Robb T. Koether (Hampden-Sydney College) Predicates and Quantifiers Wed, Jan 29, 2014 1 / 32 1
More informationConfidence Intervals for Proportions Sections 22.2, 22.3
Confidence Intervals for Proportions Sections 22.2, 22.3 Lecture 41 Robb T. Koether Hampden-Sydney College Mon, Apr 4, 2016 Robb T. Koether (Hampden-Sydney College)Confidence Intervals for ProportionsSections
More informationThe Interpretation of λ
The Interpretation of λ Lecture 49 Section 7.5 Robb T. Koether Hampden-Sydney College Wed, Apr 26, 2017 Robb T. Koether (Hampden-Sydney College) The Interpretation of λ Wed, Apr 26, 2017 1 / 6 Objectives
More informationVector Operations. Lecture 19. Robb T. Koether. Hampden-Sydney College. Wed, Oct 7, 2015
Vector Operations Lecture 19 Robb T. Koether Hampden-Sydney College Wed, Oct 7, 2015 Robb T. Koether (Hampden-Sydney College) Vector Operations Wed, Oct 7, 2015 1 / 23 Outline 1 Magnitude 2 Dot Product
More informationConditional Statements
Conditional Statements Lecture 3 Section 2.2 Robb T. Koether Hampden-Sydney College Fri, Jan 17, 2014 Robb T. Koether (Hampden-Sydney College) Conditional Statements Fri, Jan 17, 2014 1 / 26 1 Conditional
More informationCompound Interest. Lecture 34 Section 4.1. Robb T. Koether. Hampden-Sydney College. Tue, Mar 28, 2017
Compound Interest Lecture 34 Section 4.1 Robb T. Koether Hampden-Sydney College Tue, Mar 28, 2017 Robb T. Koether (Hampden-Sydney College) Compound Interest Tue, Mar 28, 2017 1 / 8 Reminder Reminder Test
More informationCS 133 : Automata Theory and Computability
CS 133 : Automata Theory and Computability Lecture Slides 1 Regular Languages and Finite Automata Nestine Hope S. Hernandez Algorithms and Complexity Laboratory Department of Computer Science University
More informationClosure under the Regular Operations
September 7, 2013 Application of NFA Now we use the NFA to show that collection of regular languages is closed under regular operations union, concatenation, and star Earlier we have shown this closure
More informationPaired Samples. Lecture 37 Sections 11.1, 11.2, Robb T. Koether. Hampden-Sydney College. Mon, Apr 2, 2012
Paired Samples Lecture 37 Sections 11.1, 11.2, 11.3 Robb T. Koether Hampden-Sydney College Mon, Apr 2, 2012 Robb T. Koether (Hampden-Sydney College) Paired Samples Mon, Apr 2, 2012 1 / 17 Outline 1 Dependent
More informationThe Pumping Lemma and Closure Properties
The Pumping Lemma and Closure Properties Mridul Aanjaneya Stanford University July 5, 2012 Mridul Aanjaneya Automata Theory 1/ 27 Tentative Schedule HW #1: Out (07/03), Due (07/11) HW #2: Out (07/10),
More informationFinite Automata and Regular languages
Finite Automata and Regular languages Huan Long Shanghai Jiao Tong University Acknowledgements Part of the slides comes from a similar course in Fudan University given by Prof. Yijia Chen. http://basics.sjtu.edu.cn/
More informationCS 455/555: Finite automata
CS 455/555: Finite automata Stefan D. Bruda Winter 2019 AUTOMATA (FINITE OR NOT) Generally any automaton Has a finite-state control Scans the input one symbol at a time Takes an action based on the currently
More informationIndependent Samples: Comparing Means
Independent Samples: Comparing Means Lecture 38 Section 11.4 Robb T. Koether Hampden-Sydney College Fri, Nov 4, 2011 Robb T. Koether (Hampden-Sydney College) Independent Samples:Comparing Means Fri, Nov
More informationFABER Formal Languages, Automata. Lecture 2. Mälardalen University
CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 2 Mälardalen University 2010 1 Content Languages, g Alphabets and Strings Strings & String Operations Languages & Language Operations
More informationThe Cobb-Douglas Production Functions
The Cobb-Douglas Production Functions Lecture 40 Section 7.1 Robb T. Koether Hampden-Sydney College Mon, Apr 10, 2017 Robb T. Koether (Hampden-Sydney College) The Cobb-Douglas Production Functions Mon,
More informationEquivalence of DFAs and NFAs
CS 172: Computability and Complexity Equivalence of DFAs and NFAs It s a tie! DFA NFA Sanjit A. Seshia EECS, UC Berkeley Acknowledgments: L.von Ahn, L. Blum, M. Blum What we ll do today Prove that DFAs
More informationClosure Properties of Context-Free Languages. Foundations of Computer Science Theory
Closure Properties of Context-Free Languages Foundations of Computer Science Theory Closure Properties of CFLs CFLs are closed under: Union Concatenation Kleene closure Reversal CFLs are not closed under
More informationIntroduction to the Theory of Computation. Automata 1VO + 1PS. Lecturer: Dr. Ana Sokolova.
Introduction to the Theory of Computation Automata 1VO + 1PS Lecturer: Dr. Ana Sokolova http://cs.uni-salzburg.at/~anas/ Setup and Dates Lectures and Instructions 23.10. 3.11. 17.11. 24.11. 1.12. 11.12.
More informationNegations of Quantifiers
Negations of Quantifiers Lecture 10 Section 3.2 Robb T. Koether Hampden-Sydney College Thu, Jan 31, 2013 Robb T. Koether (Hampden-Sydney College) Negations of Quantifiers Thu, Jan 31, 2013 1 / 20 1 Negations
More informationGreat Theoretical Ideas in Computer Science. Lecture 4: Deterministic Finite Automaton (DFA), Part 2
5-25 Great Theoretical Ideas in Computer Science Lecture 4: Deterministic Finite Automaton (DFA), Part 2 January 26th, 27 Formal definition: DFA A deterministic finite automaton (DFA) M =(Q,,,q,F) M is
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2018 http://cseweb.ucsd.edu/classes/sp18/cse105-ab/ Today's learning goals Sipser Section 1.1 Prove closure properties of the class of regular languages Apply closure
More informationIntroduction to the Theory of Computation. Automata 1VO + 1PS. Lecturer: Dr. Ana Sokolova.
Introduction to the Theory of Computation Automata 1VO + 1PS Lecturer: Dr. Ana Sokolova http://cs.uni-salzburg.at/~anas/ Setup and Dates Lectures Tuesday 10:45 pm - 12:15 pm Instructions Tuesday 12:30
More informationStrong Mathematical Induction
Strong Mathematical Induction Lecture 23 Section 5.4 Robb T. Koether Hampden-Sydney College Mon, Feb 24, 2014 Robb T. Koether (Hampden-Sydney College) Strong Mathematical Induction Mon, Feb 24, 2014 1
More informationSampling Distribution of a Sample Proportion
Sampling Distribution of a Sample Proportion Lecture 26 Section 8.4 Robb T. Koether Hampden-Sydney College Mon, Mar 1, 2010 Robb T. Koether (Hampden-Sydney College) Sampling Distribution of a Sample Proportion
More informationCS 121, Section 2. Week of September 16, 2013
CS 121, Section 2 Week of September 16, 2013 1 Concept Review 1.1 Overview In the past weeks, we have examined the finite automaton, a simple computational model with limited memory. We proved that DFAs,
More informationClosure Properties of Regular Languages. Union, Intersection, Difference, Concatenation, Kleene Closure, Reversal, Homomorphism, Inverse Homomorphism
Closure Properties of Regular Languages Union, Intersection, Difference, Concatenation, Kleene Closure, Reversal, Homomorphism, Inverse Homomorphism Closure Properties Recall a closure property is a statement
More informationInf2A: Converting from NFAs to DFAs and Closure Properties
1/43 Inf2A: Converting from NFAs to DFAs and Stuart Anderson School of Informatics University of Edinburgh October 13, 2009 Starter Questions 2/43 1 Can you devise a way of testing for any FSM M whether
More informationLecture 3: Nondeterministic Finite Automata
Lecture 3: Nondeterministic Finite Automata September 5, 206 CS 00 Theory of Computation As a recap of last lecture, recall that a deterministic finite automaton (DFA) consists of (Q, Σ, δ, q 0, F ) where
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION "Winter" 2018 http://cseweb.ucsd.edu/classes/wi18/cse105-ab/ Today's learning goals Sipser Section 1.1 Determine if a language is regular Apply closure properties to conclude
More informationCS 154, Lecture 3: DFA NFA, Regular Expressions
CS 154, Lecture 3: DFA NFA, Regular Expressions Homework 1 is coming out Deterministic Finite Automata Computation with finite memory Non-Deterministic Finite Automata Computation with finite memory and
More informationContext-Free and Noncontext-Free Languages
Examples: Context-Free and Noncontext-Free Languages a*b* is regular. A n B n = {a n b n : n 0} is context-free but not regular. A n B n C n = {a n b n c n : n 0} is not context-free The Regular and the
More informationSampling Distribution of a Sample Proportion
Sampling Distribution of a Sample Proportion Lecture 26 Section 8.4 Robb T. Koether Hampden-Sydney College Mon, Oct 10, 2011 Robb T. Koether (Hampden-Sydney College) Sampling Distribution of a Sample Proportion
More informationFormal Languages, Automata and Models of Computation
CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 5 School of Innovation, Design and Engineering Mälardalen University 2011 1 Content - More Properties of Regular Languages (RL)
More informationTheory of Computation (I) Yijia Chen Fudan University
Theory of Computation (I) Yijia Chen Fudan University Instructor Yijia Chen Homepage: http://basics.sjtu.edu.cn/~chen Email: yijiachen@fudan.edu.cn Textbook Introduction to the Theory of Computation Michael
More informationProperties of Context-Free Languages. Closure Properties Decision Properties
Properties of Context-Free Languages Closure Properties Decision Properties 1 Closure Properties of CFL s CFL s are closed under union, concatenation, and Kleene closure. Also, under reversal, homomorphisms
More informationCS 154, Lecture 2: Finite Automata, Closure Properties Nondeterminism,
CS 54, Lecture 2: Finite Automata, Closure Properties Nondeterminism, Why so Many Models? Streaming Algorithms 0 42 Deterministic Finite Automata Anatomy of Deterministic Finite Automata transition: for
More informationIntro to Theory of Computation
Intro to Theory of Computation 1/19/2016 LECTURE 3 Last time: DFAs and NFAs Operations on languages Today: Nondeterminism Equivalence of NFAs and DFAs Closure properties of regular languages Sofya Raskhodnikova
More informationRegular Expressions. Definitions Equivalence to Finite Automata
Regular Expressions Definitions Equivalence to Finite Automata 1 RE s: Introduction Regular expressions are an algebraic way to describe languages. They describe exactly the regular languages. If E is
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2018 http://cseweb.ucsd.edu/classes/sp18/cse105-ab/ Today's learning goals Sipser Ch 4.1 Explain what it means for a problem to be decidable. Justify the use of encoding.
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION "Winter" 2018 http://cseweb.ucsd.edu/classes/wi18/cse105-ab/ Today's learning goals Sipser Ch 4.1 Explain what it means for a problem to be decidable. Justify the use of encoding.
More informationRegular Languages. Problem Characterize those Languages recognized by Finite Automata.
Regular Expressions Regular Languages Fundamental Question -- Cardinality Alphabet = Σ is finite Strings = Σ is countable Languages = P(Σ ) is uncountable # Finite Automata is countable -- Q Σ +1 transition
More informationTheory of Computation
Fall 2002 (YEN) Theory of Computation Midterm Exam. Name:... I.D.#:... 1. (30 pts) True or false (mark O for true ; X for false ). (Score=Max{0, Right- 1 2 Wrong}.) (1) X... If L 1 is regular and L 2 L
More informationBüchi Automata and their closure properties. - Ajith S and Ankit Kumar
Büchi Automata and their closure properties - Ajith S and Ankit Kumar Motivation Conventional programs accept input, compute, output result, then terminate Reactive program : not expected to terminate
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY NON-DETERMINISM and REGULAR OPERATIONS THURSDAY JAN 6 UNION THEOREM The union of two regular languages is also a regular language Regular Languages Are
More information1 Alphabets and Languages
1 Alphabets and Languages Look at handout 1 (inference rules for sets) and use the rules on some examples like {a} {{a}} {a} {a, b}, {a} {{a}}, {a} {{a}}, {a} {a, b}, a {{a}}, a {a, b}, a {{a}}, a {a,
More informationCompiler Design. Spring Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz
Compiler Design Spring 2011 Lexical Analysis Sample Exercises and Solutions Prof. Pedro C. Diniz USC / Information Sciences Institute 4676 Admiralty Way, Suite 1001 Marina del Rey, California 90292 pedro@isi.edu
More informationHarvard CS 121 and CSCI E-207 Lecture 10: CFLs: PDAs, Closure Properties, and Non-CFLs
Harvard CS 121 and CSCI E-207 Lecture 10: CFLs: PDAs, Closure Properties, and Non-CFLs Harry Lewis October 8, 2013 Reading: Sipser, pp. 119-128. Pushdown Automata (review) Pushdown Automata = Finite automaton
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2016 http://cseweb.ucsd.edu/classes/sp16/cse105-ab/ Today's learning goals Sipser Ch 3.3, 4.1 State and use the Church-Turing thesis. Give examples of decidable problems.
More informationComputational Models - Lecture 3 1
Computational Models - Lecture 3 1 Handout Mode Iftach Haitner and Yishay Mansour. Tel Aviv University. March 13/18, 2013 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice
More informationElementary Logic and Proof
Elementary Logic and Proof Lecture 5 Robb T. Koether Hampden-Sydney College Mon, Feb 6, 2017 Robb T. Koether (Hampden-Sydney College) Elementary Logic and Proof Mon, Feb 6, 2017 1 / 33 Outline 1 Statements
More informationOgden s Lemma. and Formal Languages. Automata Theory CS 573. The proof is similar but more fussy. than the proof of the PL4CFL.
CS 573 Automata Theory and Formal Languages Professor Leslie Lander Lecture # 24 December 4, 2000 Ogden s Lemma (6.2) Let L be a CFL, then there is a constant n such that if z is a word in L with z > n
More informationCS 154. Finite Automata, Nondeterminism, Regular Expressions
CS 54 Finite Automata, Nondeterminism, Regular Expressions Read string left to right The DFA accepts a string if the process ends in a double circle A DFA is a 5-tuple M = (Q, Σ, δ, q, F) Q is the set
More informationContext-Free Grammars (and Languages) Lecture 7
Context-Free Grammars (and Languages) Lecture 7 1 Today Beyond regular expressions: Context-Free Grammars (CFGs) What is a CFG? What is the language associated with a CFG? Creating CFGs. Reasoning about
More informationChapter 6. Properties of Regular Languages
Chapter 6 Properties of Regular Languages Regular Sets and Languages Claim(1). The family of languages accepted by FSAs consists of precisely the regular sets over a given alphabet. Every regular set is
More informationSri vidya college of engineering and technology
Unit I FINITE AUTOMATA 1. Define hypothesis. The formal proof can be using deductive proof and inductive proof. The deductive proof consists of sequence of statements given with logical reasoning in order
More information2.1 Solution. E T F a. E E + T T + T F + T a + T a + F a + a
. Solution E T F a E E + T T + T F + T a + T a + F a + a E E + T E + T + T T + T + T F + T + T a + T + T a + F + T a + a + T a + a + F a + a + a E T F ( E) ( T ) ( F) (( E)) (( T )) (( F)) (( a)) . Solution
More informationBefore we show how languages can be proven not regular, first, how would we show a language is regular?
CS35 Proving Languages not to be Regular Before we show how languages can be proven not regular, first, how would we show a language is regular? Although regular languages and automata are quite powerful
More informationHarvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries
Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harry Lewis September 5, 2013 Reading: Sipser, Chapter 0 Sets Sets are defined by their members A = B means that for every x, x A iff
More informationBinary Search Trees. Lecture 29 Section Robb T. Koether. Hampden-Sydney College. Fri, Apr 8, 2016
Binary Search Trees Lecture 29 Section 19.2 Robb T. Koether Hampden-Sydney College Fri, Apr 8, 2016 Robb T. Koether (Hampden-Sydney College) Binary Search Trees Fri, Apr 8, 2016 1 / 40 1 Binary Search
More informationFooling Sets and. Lecture 5
Fooling Sets and Introduction to Nondeterministic Finite Automata Lecture 5 Proving that a language is not regular Given a language, we saw how to prove it is regular (union, intersection, concatenation,
More informationCPS 220 Theory of Computation REGULAR LANGUAGES
CPS 22 Theory of Computation REGULAR LANGUAGES Introduction Model (def) a miniature representation of a thing; sometimes a facsimile Iraq village mockup for the Marines Scientific modelling - the process
More informationThis Lecture will Cover...
Last Lecture Covered... DFAs, NFAs, -NFAs and the equivalence of the language classes they accept Last Lecture Covered... This Lecture will Cover... Introduction to regular expressions and regular languages
More information} Some languages are Turing-decidable A Turing Machine will halt on all inputs (either accepting or rejecting). No infinite loops.
and their languages } Some languages are Turing-decidable A Turing Machine will halt on all inputs (either accepting or rejecting). No infinite loops. } Some languages are Turing-recognizable, but not
More informationMore Properties of Regular Languages
More Properties of Regular anguages 1 We have proven Regular languages are closed under: Union Concatenation Star operation Reverse 2 Namely, for regular languages 1 and 2 : Union 1 2 Concatenation Star
More informationTAFL 1 (ECS-403) Unit- II. 2.1 Regular Expression: The Operators of Regular Expressions: Building Regular Expressions
TAFL 1 (ECS-403) Unit- II 2.1 Regular Expression: 2.1.1 The Operators of Regular Expressions: 2.1.2 Building Regular Expressions 2.1.3 Precedence of Regular-Expression Operators 2.1.4 Algebraic laws for
More informationComment: The induction is always on some parameter, and the basis case is always an integer or set of integers.
1. For each of the following statements indicate whether it is true or false. For the false ones (if any), provide a counter example. For the true ones (if any) give a proof outline. (a) Union of two non-regular
More informationRegular Expressions [1] Regular Expressions. Regular expressions can be seen as a system of notations for denoting ɛ-nfa
Regular Expressions [1] Regular Expressions Regular expressions can be seen as a system of notations for denoting ɛ-nfa They form an algebraic representation of ɛ-nfa algebraic : expressions with equations
More informationCompiler Design. Spring Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro Diniz
Compiler Design Spring 2010 Lexical Analysis Sample Exercises and Solutions Prof. Pedro Diniz USC / Information Sciences Institute 4676 Admiralty Way, Suite 1001 Marina del Rey, California 90292 pedro@isi.edu
More informationUnit 6. Non Regular Languages The Pumping Lemma. Reading: Sipser, chapter 1
Unit 6 Non Regular Languages The Pumping Lemma Reading: Sipser, chapter 1 1 Are all languages regular? No! Most of the languages are not regular! Why? A finite automaton has limited memory. How can we
More informationCMSC 330: Organization of Programming Languages
CMSC 330: Organization of Programming Languages Theory of Regular Expressions DFAs and NFAs Reminders Project 1 due Sep. 24 Homework 1 posted Exam 1 on Sep. 25 Exam topics list posted Practice homework
More informationWhat Is a Language? Grammars, Languages, and Machines. Strings: the Building Blocks of Languages
Do Homework 2. What Is a Language? Grammars, Languages, and Machines L Language Grammar Accepts Machine Strings: the Building Blocks of Languages An alphabet is a finite set of symbols: English alphabet:
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION "Winter" 2018 http://cseweb.ucsd.edu/classes/wi18/cse105-ab/ Today's learning goals Sipser Section 1.1 Design an automaton that recognizes a given language. Specify each of
More informationDecidability (What, stuff is unsolvable?)
University of Georgia Fall 2014 Outline Decidability Decidable Problems for Regular Languages Decidable Problems for Context Free Languages The Halting Problem Countable and Uncountable Sets Diagonalization
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 14 Ana Bove May 14th 2018 Recap: Context-free Grammars Simplification of grammars: Elimination of ǫ-productions; Elimination of
More informationT (s, xa) = T (T (s, x), a). The language recognized by M, denoted L(M), is the set of strings accepted by M. That is,
Recall A deterministic finite automaton is a five-tuple where S is a finite set of states, M = (S, Σ, T, s 0, F ) Σ is an alphabet the input alphabet, T : S Σ S is the transition function, s 0 S is the
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY REVIEW for MIDTERM 1 THURSDAY Feb 6 Midterm 1 will cover everything we have seen so far The PROBLEMS will be from Sipser, Chapters 1, 2, 3 It will be
More informationCS 154. Finite Automata vs Regular Expressions, Non-Regular Languages
CS 154 Finite Automata vs Regular Expressions, Non-Regular Languages Deterministic Finite Automata Computation with finite memory Non-Deterministic Finite Automata Computation with finite memory and guessing
More informationHW6 Solutions. Micha l Dereziński. March 20, 2015
HW6 Solutions Micha l Dereziński March 20, 2015 1 Exercise 5.5 (a) The PDA accepts odd-length strings whose middle symbol is a and whose other letters are as and bs. Its diagram is below. b, Z 0 /XZ 0
More informationHKN CS/ECE 374 Midterm 1 Review. Nathan Bleier and Mahir Morshed
HKN CS/ECE 374 Midterm 1 Review Nathan Bleier and Mahir Morshed For the most part, all about strings! String induction (to some extent) Regular languages Regular expressions (regexps) Deterministic finite
More informationComputational Theory
Computational Theory Finite Automata and Regular Languages Curtis Larsen Dixie State University Computing and Design Fall 2018 Adapted from notes by Russ Ross Adapted from notes by Harry Lewis Curtis Larsen
More informationContext-Free Languages (Pre Lecture)
Context-Free Languages (Pre Lecture) Dr. Neil T. Dantam CSCI-561, Colorado School of Mines Fall 2017 Dantam (Mines CSCI-561) Context-Free Languages (Pre Lecture) Fall 2017 1 / 34 Outline Pumping Lemma
More informationPushdown automata. Twan van Laarhoven. Institute for Computing and Information Sciences Intelligent Systems Radboud University Nijmegen
Pushdown automata Twan van Laarhoven Institute for Computing and Information Sciences Intelligent Systems Version: fall 2014 T. van Laarhoven Version: fall 2014 Formal Languages, Grammars and Automata
More informationUses of finite automata
Chapter 2 :Finite Automata 2.1 Finite Automata Automata are computational devices to solve language recognition problems. Language recognition problem is to determine whether a word belongs to a language.
More informationLanguages. A language is a set of strings. String: A sequence of letters. Examples: cat, dog, house, Defined over an alphabet:
Languages 1 Languages A language is a set of strings String: A sequence of letters Examples: cat, dog, house, Defined over an alphaet: a,, c,, z 2 Alphaets and Strings We will use small alphaets: Strings
More information1 More finite deterministic automata
CS 125 Section #6 Finite automata October 18, 2016 1 More finite deterministic automata Exercise. Consider the following game with two players: Repeatedly flip a coin. On heads, player 1 gets a point.
More informationAutomata and Formal Languages - CM0081 Algebraic Laws for Regular Expressions
Automata and Formal Languages - CM0081 Algebraic Laws for Regular Expressions Andrés Sicard-Ramírez Universidad EAFIT Semester 2017-2 Algebraic Laws for Regular Expressions Definition (Equivalence of regular
More informationAutomata Theory. Lecture on Discussion Course of CS120. Runzhe SJTU ACM CLASS
Automata Theory Lecture on Discussion Course of CS2 This Lecture is about Mathematical Models of Computation. Why Should I Care? - Ways of thinking. - Theory can drive practice. - Don t be an Instrumentalist.
More informationDM17. Beregnelighed. Jacob Aae Mikkelsen
DM17 Beregnelighed Jacob Aae Mikkelsen January 12, 2007 CONTENTS Contents 1 Introduction 2 1.1 Operations with languages...................... 2 2 Finite Automata 3 2.1 Regular expressions/languages....................
More information