Recitation 4: Converting Grammars to Chomsky Normal Form, Simulation of Context Free Languages with Push-Down Automata, Semirings
|
|
- Brooke Thompson
- 6 years ago
- Views:
Transcription
1 Recitation 4: Converting Grammars to Chomsky Normal Form, Simulation of Context Free Languages with Push-Down Automata, Semirings : Algorithms for NLP October 10, 2014
2 Conversion to CNF Example grammar G: S ba ab A baa as a B abb bs b Task: Convert G to Chomsky Normal Form (Perhaps we re using a CYK parser, more info in future lectures) CNF allows productions in the form: A BC A a
3 Conversion to CNF Requirements before converting: No unit productions: A B No epsilon productions: A ɛ Algorithms exist to factor out, usually straightforward process.
4 Conversion to CNF G S ba S ab A baa A as A a B abb B bs B b Leave unchanged: Productions: A a
5 Conversion to CNF G S ba S ab A baa A as A a B abb B bs B b Leave unchanged: Productions: A a
6 Conversion to CNF G S ba S ab A baa A as A a B abb B bs B b For productions: A X 1...X m, m 2, where X i is a terminal a Replace a with new variable C a and add production: C a a
7 Conversion to CNF G (modified) S C b A S C a B A C b AA A C a S A a B C a BB B C b S B b C a a C b b What modified rules now fit CNF?
8 G (modified) S C b A S C a B A C b AA A C a S A a B C a BB B C b S B b C a a C b b Conversion to CNF
9 G (modified) S C b A S C a B A C b AA A C a S A a B C a BB B C b S B b C a a C b b For productions: A B 1 B 2...B m, m 3 Replace with: Conversion to CNF A B 1 D 1 D 1 B 2 D 2... D m 2 B m 1 B m
10 G (modified) S C b A S C a B A C b D 1 D 1 AA A C a S A a B C a BB B C b S B b C a a C b b Conversion to CNF
11 G (modified) S C b A S C a B A C b D 1 D 1 AA A C a S A a B C a D 2 D 2 BB B C b S B b C a a C b b Conversion to CNF
12 G (CNF) S C b A S C a B A C b D 1 D 1 AA A C a S A a B C a D 2 D 2 BB B C b S B b C a a C b b Conversion to CNF
13 Equivalence of CFGs and PDAs Given a CFG G = (V, T, P, S), where the production rules in P are: S Ab ASb AbS ASbS A a 1. Construct a PDA M that accepts by empty stack such that L(M) = L(G). 2. Show the computation of M and the corresponding derivation in G for the string aabaabbb.
14 Constructing M
15 Constructing M M = { Q =
16 Constructing M M = { Q = {q} // States Σ =
17 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ =
18 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 =
19 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 = q // Start state z 0 =
20 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 = q // Start state z 0 = S // Start stack symbol δ(q, ɛ, S) =
21 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 = q // Start state z 0 = S // Start stack symbol δ(q, ɛ, S) = {(q, Ab), (q, ASb), (q, AbS), (q, ASbS)} δ(q, ɛ, A) =
22 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 = q // Start state z 0 = S // Start stack symbol δ(q, ɛ, S) = {(q, Ab), (q, ASb), (q, AbS), (q, ASbS)} δ(q, ɛ, A) = {(q, a)} // Transitions for nonterminals δ(q, a, a) =
23 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 = q // Start state z 0 = S // Start stack symbol δ(q, ɛ, S) = {(q, Ab), (q, ASb), (q, AbS), (q, ASbS)} δ(q, ɛ, A) = {(q, a)} // Transitions for nonterminals δ(q, a, a) = {(q, ɛ)} // Transitions for terminals δ(q, b, b) =
24 Constructing M M = { Q = {q} // States Σ = T = {a, b} // Input symbols Γ = V T = {S, A, a, b} // Stack symbols q 0 = q // Start state z 0 = S // Start stack symbol δ(q, ɛ, S) = {(q, Ab), (q, ASb), (q, AbS), (q, ASbS)} δ(q, ɛ, A) = {(q, a)} // Transitions for nonterminals δ(q, a, a) = {(q, ɛ)} // Transitions for terminals δ(q, b, b) = {(q, ɛ)} }
25 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S)
26 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb)
27 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a)
28 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a) (q, abaabbb, Sb) δ(q, a, a) (q, ɛ)
29 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a) (q, abaabbb, Sb) δ(q, a, a) (q, ɛ) aabsb (q, abaabbb, AbSb) δ(q, ɛ, S) (q, AbS)
30 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a) (q, abaabbb, Sb) δ(q, a, a) (q, ɛ) aabsb (q, abaabbb, AbSb) δ(q, ɛ, S) (q, AbS) aabsb (q, abaabbb, absb) δ(q, ɛ, A) (q, a) (q, baabbb, bsb) δ(q, a, a) (q, ɛ)
31 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a) (q, abaabbb, Sb) δ(q, a, a) (q, ɛ) aabsb (q, abaabbb, AbSb) δ(q, ɛ, S) (q, AbS) aabsb (q, abaabbb, absb) δ(q, ɛ, A) (q, a) (q, baabbb, bsb) δ(q, a, a) (q, ɛ) (q, aabbb, Sb) δ(q, b, b) (q, ɛ)
32 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a) (q, abaabbb, Sb) δ(q, a, a) (q, ɛ) aabsb (q, abaabbb, AbSb) δ(q, ɛ, S) (q, AbS) aabsb (q, abaabbb, absb) δ(q, ɛ, A) (q, a) (q, baabbb, bsb) δ(q, a, a) (q, ɛ) (q, aabbb, Sb) δ(q, b, b) (q, ɛ) aabasbb (q, aabbb, ASbb) δ(q, ɛ, S) (q, ASb)
33 Computation / Derivation Grammar PDA δ Applied S (q, aabaabbb, S) ASb (q, aabaabbb, ASb) δ(q, ɛ, S) (q, ASb) asb (q, aabaabbb, asb) δ(q, ɛ, A) (q, a) (q, abaabbb, Sb) δ(q, a, a) (q, ɛ) aabsb (q, abaabbb, AbSb) δ(q, ɛ, S) (q, AbS) aabsb (q, abaabbb, absb) δ(q, ɛ, A) (q, a) (q, baabbb, bsb) δ(q, a, a) (q, ɛ) (q, aabbb, Sb) δ(q, b, b) (q, ɛ) aabasbb (q, aabbb, ASbb) δ(q, ɛ, S) (q, ASb) aabasbb (q, aabbb, asbb) δ(q, ɛ, A) (q, a)
34 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb)
35 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb) (q, abbb, Sbb) δ(q, a, a) (q, ɛ)
36 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb) (q, abbb, Sbb) δ(q, a, a) (q, ɛ) aabaabbb (q, abbb, Abbb) δ(q, ɛ, S) (q, Ab)
37 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb) (q, abbb, Sbb) δ(q, a, a) (q, ɛ) aabaabbb (q, abbb, Abbb) δ(q, ɛ, S) (q, Ab) aabaabbb (q, abbb, abbb) δ(q, ɛ, A) (q, a) (q, bbb, bbb) δ(q, a, a) (q, ɛ)
38 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb) (q, abbb, Sbb) δ(q, a, a) (q, ɛ) aabaabbb (q, abbb, Abbb) δ(q, ɛ, S) (q, Ab) aabaabbb (q, abbb, abbb) δ(q, ɛ, A) (q, a) (q, bbb, bbb) δ(q, a, a) (q, ɛ) (q, bb, bb) δ(q, b, b) (q, ɛ)
39 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb) (q, abbb, Sbb) δ(q, a, a) (q, ɛ) aabaabbb (q, abbb, Abbb) δ(q, ɛ, S) (q, Ab) aabaabbb (q, abbb, abbb) δ(q, ɛ, A) (q, a) (q, bbb, bbb) δ(q, a, a) (q, ɛ) (q, bb, bb) δ(q, b, b) (q, ɛ) (q, b, b) δ(q, b, b) (q, ɛ)
40 Computation / Derivation Grammar PDA δ Applied aabasbb (q, aabbb, asbb) (q, abbb, Sbb) δ(q, a, a) (q, ɛ) aabaabbb (q, abbb, Abbb) δ(q, ɛ, S) (q, Ab) aabaabbb (q, abbb, abbb) δ(q, ɛ, A) (q, a) (q, bbb, bbb) δ(q, a, a) (q, ɛ) (q, bb, bb) δ(q, b, b) (q, ɛ) (q, b, b) δ(q, b, b) (q, ɛ) (q, ɛ, ɛ) δ(q, b, b) (q, ɛ)
41 Semirings S = (R,,, 0, 1) R is a set and are binary operations R R R, and 0, 1 R
42 Semiring Laws a, b, c R: (a b) c = a (b c) (associative ) (a b) c = a (b c) (associative ) a b = b a (commutative ) 0 a = a 0 = a ( 0 is id for ) 1 a = a 1 = a ( 1 is id for ) a (b c) = (a b) (a c) (left distributive) (a b) c = (a c) (b c) (right distributive) 0 a = a 0 = 0 ( 0 is annihilator for )
43 Semiring Examples (N, +,, 0, 1) (whole numbers)
44 Semiring Examples (N, +,, 0, 1) (whole numbers) ([0, 1], +,, 0, 1) (probabilities)
45 Semiring Examples (N, +,, 0, 1) (whole numbers) ([0, 1], +,, 0, 1) (probabilities) (Reg Σ, +,,, ɛ) (Regular expressions)
46 Semiring Examples (N, +,, 0, 1) (whole numbers) ([0, 1], +,, 0, 1) (probabilities) (Reg Σ, +,,, ɛ) (Regular expressions) (Z p, + (mod p), (mod p), 0, 1) (integers modulo some prime p)
47 Semirings Built from Other Semirings If S and T are semirings, then so are: (S n n, +,, 0, I ) (n by n matrices over S)
48 Semirings Built from Other Semirings If S and T are semirings, then so are: (S n n, +,, 0, I ) (n by n matrices over S) (S[X ], +,, 0, 1) (polynomials over S)
49 Semirings Built from Other Semirings If S and T are semirings, then so are: (S n n, +,, 0, I ) (n by n matrices over S) (S[X ], +,, 0, 1) (polynomials over S) (WFST Σ Σ (S),,,, ) (WFSTs with weights from S)
50 Semirings Built from Other Semirings If S and T are semirings, then so are: (S n n, +,, 0, I ) (n by n matrices over S) (S[X ], +,, 0, 1) (polynomials over S) (WFST Σ Σ (S),,,, ) (WFSTs with weights from S) (S T,?,?,?, 1 S 1 T ) (pairs of S and T )
51 Semirings Built from Other Semirings If S and T are semirings, then so are: (S n n, +,, 0, I ) (n by n matrices over S) (S[X ], +,, 0, 1) (polynomials over S) (WFST Σ Σ (S),,,, ) (WFSTs with weights from S) (S T,?,?,?, 1 S 1 T ) (pairs of S and T ) (Option[S],?,?, None, Some( 1)) (optional Ss)
52 Semirings Built from Other Semirings If S and T are semirings, then so are: (S n n, +,, 0, I ) (n by n matrices over S) (S[X ], +,, 0, 1) (polynomials over S) (WFST Σ Σ (S),,,, ) (WFSTs with weights from S) (S T,?,?,?, 1 S 1 T ) (pairs of S and T ) (Option[S],?,?, None, Some( 1)) (optional Ss) (GL(S), +,, 0, id) (linear functions S S)
Theory of Computation - Module 3
Theory of Computation - Module 3 Syllabus Context Free Grammar Simplification of CFG- Normal forms-chomsky Normal form and Greibach Normal formpumping lemma for Context free languages- Applications of
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 informationLecture 12 Simplification of Context-Free Grammars and Normal Forms
Lecture 12 Simplification of Context-Free Grammars and Normal Forms COT 4420 Theory of Computation Chapter 6 Normal Forms for CFGs 1. Chomsky Normal Form CNF Productions of form A BC A, B, C V A a a T
More information5.A Examples of Context-Free Grammars 3.1 and 3.2 of Du & Ko s book(pp )
5.A Examples of Context-Free Grammars 3.1 and 3.2 of Du & Ko s book(pp. 91-108) Example 3.1 Consider S ε asb. What is L(S)? Solution S asb aasbb a n Sb n a n b n. L(S) = {a n b n n 0} Example 3.2 Consider
More informationDefinition: A grammar G = (V, T, P,S) is a context free grammar (cfg) if all productions in P have the form A x where
Recitation 11 Notes Context Free Grammars Definition: A grammar G = (V, T, P,S) is a context free grammar (cfg) if all productions in P have the form A x A V, and x (V T)*. Examples Problem 1. Given the
More informationEinführung in die Computerlinguistik
Einführung in die Computerlinguistik Context-Free Grammars (CFG) Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2016 1 / 22 CFG (1) Example: Grammar G telescope : Productions: S NP VP NP
More informationTAFL 1 (ECS-403) Unit- III. 3.1 Definition of CFG (Context Free Grammar) and problems. 3.2 Derivation. 3.3 Ambiguity in Grammar
TAFL 1 (ECS-403) Unit- III 3.1 Definition of CFG (Context Free Grammar) and problems 3.2 Derivation 3.3 Ambiguity in Grammar 3.3.1 Inherent Ambiguity 3.3.2 Ambiguous to Unambiguous CFG 3.4 Simplification
More informationSection 1 (closed-book) Total points 30
CS 454 Theory of Computation Fall 2011 Section 1 (closed-book) Total points 30 1. Which of the following are true? (a) a PDA can always be converted to an equivalent PDA that at each step pops or pushes
More informationCFG Simplification. (simplify) 1. Eliminate useless symbols 2. Eliminate -productions 3. Eliminate unit productions
CFG Simplification (simplify) 1. Eliminate useless symbols 2. Eliminate -productions 3. Eliminate unit productions 1 Eliminating useless symbols 1. A symbol X is generating if there exists: X * w, for
More informationCS375: Logic and Theory of Computing
CS375: Logic and Theory of Computing Fuhua (Frank) Cheng Department of Computer Science University of Kentucky 1 Table of Contents: Week 1: Preliminaries (set algebra, relations, functions) (read Chapters
More informationSimplification of CFG and Normal Forms. Wen-Guey Tzeng Computer Science Department National Chiao Tung University
Simplification of CFG and Normal Forms Wen-Guey Tzeng Computer Science Department National Chiao Tung University Normal Forms We want a cfg with either Chomsky or Greibach normal form Chomsky normal form
More informationSimplification of CFG and Normal Forms. Wen-Guey Tzeng Computer Science Department National Chiao Tung University
Simplification of CFG and Normal Forms Wen-Guey Tzeng Computer Science Department National Chiao Tung University Normal Forms We want a cfg with either Chomsky or Greibach normal form Chomsky normal form
More informationConcordia University Department of Computer Science & Software Engineering
Concordia University Department of Computer Science & Software Engineering COMP 335/4 Theoretical Computer Science Winter 2015 Assignment 3 1. In each case, what language is generated by CFG s below. Justify
More informationHomework 4. Chapter 7. CS A Term 2009: Foundations of Computer Science. By Li Feng, Shweta Srivastava, and Carolina Ruiz
CS3133 - A Term 2009: Foundations of Computer Science Prof. Carolina Ruiz Homework 4 WPI By Li Feng, Shweta Srivastava, and Carolina Ruiz Chapter 7 Problem: Chap 7.1 part a This PDA accepts the language
More informationAC68 FINITE AUTOMATA & FORMULA LANGUAGES DEC 2013
Q.2 a. Prove by mathematical induction n 4 4n 2 is divisible by 3 for n 0. Basic step: For n = 0, n 3 n = 0 which is divisible by 3. Induction hypothesis: Let p(n) = n 3 n is divisible by 3. Induction
More informationNPDA, CFG equivalence
NPDA, CFG equivalence Theorem A language L is recognized by a NPDA iff L is described by a CFG. Must prove two directions: ( ) L is recognized by a NPDA implies L is described by a CFG. ( ) L is described
More informationFinite Automata and Formal Languages TMV026/DIT321 LP Useful, Useless, Generating and Reachable Symbols
Finite Automata and Formal Languages TMV026/DIT321 LP4 2012 Lecture 13 Ana Bove May 7th 2012 Overview of today s lecture: Normal Forms for Context-Free Languages Pumping Lemma for Context-Free Languages
More informationFoundations of Informatics: a Bridging Course
Foundations of Informatics: a Bridging Course Week 3: Formal Languages and Semantics Thomas Noll Lehrstuhl für Informatik 2 RWTH Aachen University noll@cs.rwth-aachen.de http://www.b-it-center.de/wob/en/view/class211_id948.html
More information60-354, Theory of Computation Fall Asish Mukhopadhyay School of Computer Science University of Windsor
60-354, Theory of Computation Fall 2013 Asish Mukhopadhyay School of Computer Science University of Windsor Pushdown Automata (PDA) PDA = ε-nfa + stack Acceptance ε-nfa enters a final state or Stack is
More informationCS 373: Theory of Computation. Fall 2010
CS 373: Theory of Computation Gul Agha Mahesh Viswanathan Fall 2010 1 1 Normal Forms for CFG Normal Forms for Grammars It is typically easier to work with a context free language if given a CFG in a normal
More informationEXAMPLE CFG. L = {a 2n : n 1 } L = {a 2n : n 0 } S asa aa. L = {a n b : n 0 } L = {a n b : n 1 } S asb ab S 1S00 S 1S00 100
EXAMPLE CFG L = {a 2n : n 1 } L = {a 2n : n 0 } S asa aa S asa L = {a n b : n 0 } L = {a n b : n 1 } S as b S as ab L { a b : n 0} L { a b : n 1} S asb S asb ab n 2n n 2n L {1 0 : n 0} L {1 0 : n 1} S
More informationChapter 1. Formal Definition and View. Lecture Formal Pushdown Automata on the 28th April 2009
Chapter 1 Formal and View Lecture on the 28th April 2009 Formal of PA Faculty of Information Technology Brno University of Technology 1.1 Aim of the Lecture 1 Define pushdown automaton in a formal way
More informationINSTITUTE OF AERONAUTICAL ENGINEERING
INSTITUTE OF AERONAUTICAL ENGINEERING DUNDIGAL 500 043, HYDERABAD COMPUTER SCIENCE AND ENGINEERING TUTORIAL QUESTION BANK Course Name : FORMAL LANGUAGES AND AUTOMATA THEORY Course Code : A40509 Class :
More informationTAFL 1 (ECS-403) Unit- IV. 4.1 Push Down Automata. 4.2 The Formal Definition of Pushdown Automata. EXAMPLES for PDA. 4.3 The languages of PDA
TAFL 1 (ECS-403) Unit- IV 4.1 Push Down Automata 4.2 The Formal Definition of Pushdown Automata EXAMPLES for PDA 4.3 The languages of PDA 4.3.1 Acceptance by final state 4.3.2 Acceptance by empty stack
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 11 CHAPTER 3 CONTEXT-FREE LANGUAGES 1. Context Free Grammars 2. Pushdown Automata 3. Pushdown automata and context -free
More informationSt.MARTIN S ENGINEERING COLLEGE Dhulapally, Secunderabad
St.MARTIN S ENGINEERING COLLEGE Dhulapally, Secunderabad-500 014 Subject: FORMAL LANGUAGES AND AUTOMATA THEORY Class : CSE II PART A (SHORT ANSWER QUESTIONS) UNIT- I 1 Explain transition diagram, transition
More informationParsing. Context-Free Grammars (CFG) Laura Kallmeyer. Winter 2017/18. Heinrich-Heine-Universität Düsseldorf 1 / 26
Parsing Context-Free Grammars (CFG) Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Winter 2017/18 1 / 26 Table of contents 1 Context-Free Grammars 2 Simplifying CFGs Removing useless symbols Eliminating
More informationCPS 220 Theory of Computation Pushdown Automata (PDA)
CPS 220 Theory of Computation Pushdown Automata (PDA) Nondeterministic Finite Automaton with some extra memory Memory is called the stack, accessed in a very restricted way: in a First-In First-Out fashion
More informationAutomata Theory CS F-08 Context-Free Grammars
Automata Theory CS411-2015F-08 Context-Free Grammars David Galles Department of Computer Science University of San Francisco 08-0: Context-Free Grammars Set of Terminals (Σ) Set of Non-Terminals Set of
More informationAC68 FINITE AUTOMATA & FORMULA LANGUAGES JUNE 2014
Q.2 a. Show by using Mathematical Induction that n i= 1 i 2 n = ( n + 1) ( 2 n + 1) 6 b. Define language. Let = {0; 1} denote an alphabet. Enumerate five elements of the following languages: (i) Even binary
More informationComputational Models - Lecture 5 1
Computational Models - Lecture 5 1 Handout Mode Iftach Haitner. Tel Aviv University. November 28, 2016 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice Herlihy, Brown University.
More informationCSE 355 Test 2, Fall 2016
CSE 355 Test 2, Fall 2016 28 October 2016, 8:35-9:25 a.m., LSA 191 Last Name SAMPLE ASU ID 1357924680 First Name(s) Ima Regrading of Midterms If you believe that your grade has not been added up correctly,
More informationComputational Models - Lecture 4 1
Computational Models - Lecture 4 1 Handout Mode Iftach Haitner and Yishay Mansour. Tel Aviv University. April 3/8, 2013 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice
More informationProperties of Context-Free Languages
Properties of Context-Free Languages Seungjin Choi Department of Computer Science and Engineering Pohang University of Science and Technology 77 Cheongam-ro, Nam-gu, Pohang 37673, Korea seungjin@postech.ac.kr
More informationIntroduction to Formal Languages, Automata and Computability p.1/42
Introduction to Formal Languages, Automata and Computability Pushdown Automata K. Krithivasan and R. Rama Introduction to Formal Languages, Automata and Computability p.1/42 Introduction We have considered
More information1. Draw a parse tree for the following derivation: S C A C C A b b b b A b b b b B b b b b a A a a b b b b a b a a b b 2. Show on your parse tree u,
1. Draw a parse tree for the following derivation: S C A C C A b b b b A b b b b B b b b b a A a a b b b b a b a a b b 2. Show on your parse tree u, v, x, y, z as per the pumping theorem. 3. Prove that
More informationLecture 11 Context-Free Languages
Lecture 11 Context-Free Languages COT 4420 Theory of Computation Chapter 5 Context-Free Languages n { a b : n n { ww } 0} R Regular Languages a *b* ( a + b) * Example 1 G = ({S}, {a, b}, S, P) Derivations:
More informationNODIA AND COMPANY. GATE SOLVED PAPER Computer Science Engineering Theory of Computation. Copyright By NODIA & COMPANY
No part of this publication may be reproduced or distributed in any form or any means, electronic, mechanical, photocopying, or otherwise without the prior permission of the author. GATE SOLVED PAPER Computer
More informationCS5371 Theory of Computation. Lecture 7: Automata Theory V (CFG, CFL, CNF)
CS5371 Theory of Computation Lecture 7: Automata Theory V (CFG, CFL, CNF) Announcement Homework 2 will be given soon (before Tue) Due date: Oct 31 (Tue), before class Midterm: Nov 3, (Fri), first hour
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTATION
FORMAL LANGUAGES, AUTOMATA AND COMPUTATION DECIDABILITY ( LECTURE 15) SLIDES FOR 15-453 SPRING 2011 1 / 34 TURING MACHINES-SYNOPSIS The most general model of computation Computations of a TM are described
More informationPlease give details of your answer. A direct answer without explanation is not counted.
Please give details of your answer. A direct answer without explanation is not counted. Your answers must be in English. Please carefully read problem statements. During the exam you are not allowed to
More informationIntroduction to Theory of Computing
CSCI 2670, Fall 2012 Introduction to Theory of Computing Department of Computer Science University of Georgia Athens, GA 30602 Instructor: Liming Cai www.cs.uga.edu/ cai 0 Lecture Note 3 Context-Free Languages
More informationTalen en Compilers. Johan Jeuring , period 2. October 29, Department of Information and Computing Sciences Utrecht University
Talen en Compilers 2015-2016, period 2 Johan Jeuring Department of Information and Computing Sciences Utrecht University October 29, 2015 12. LL parsing 12-1 This lecture LL parsing Motivation Stack-based
More informationPushdown Automata (Pre Lecture)
Pushdown Automata (Pre Lecture) Dr. Neil T. Dantam CSCI-561, Colorado School of Mines Fall 2017 Dantam (Mines CSCI-561) Pushdown Automata (Pre Lecture) Fall 2017 1 / 41 Outline Pushdown Automata Pushdown
More informationOgden s Lemma for CFLs
Ogden s Lemma for CFLs Theorem If L is a context-free language, then there exists an integer l such that for any u L with at least l positions marked, u can be written as u = vwxyz such that 1 x and at
More informationNote: In any grammar here, the meaning and usage of P (productions) is equivalent to R (rules).
Note: In any grammar here, the meaning and usage of P (productions) is equivalent to R (rules). 1a) G = ({R, S, T}, {0,1}, P, S) where P is: S R0R R R0R1R R1R0R T T 0T ε (S generates the first 0. R generates
More informationNotes for Comp 497 (Comp 454) Week 10 4/5/05
Notes for Comp 497 (Comp 454) Week 10 4/5/05 Today look at the last two chapters in Part II. Cohen presents some results concerning context-free languages (CFL) and regular languages (RL) also some decidability
More informationFundamentele Informatica II
Fundamentele Informatica II Answer to selected exercises 5 John C Martin: Introduction to Languages and the Theory of Computation M.M. Bonsangue (and J. Kleijn) Fall 2011 5.1.a (q 0, ab, Z 0 ) (q 1, b,
More informationCS375: Logic and Theory of Computing
CS375: Logic and Theory of Computing Fuhua (Frank) Cheng Department of Computer Science University of Kentucky 1 Table of Contents: Week 1: Preliminaries (set algebra, relations, functions) (read Chapters
More informationCSE 468, Fall 2006 Homework solutions 1
CSE 468, Fall 2006 Homework solutions 1 Homework 1 Problem 1. (a) To accept digit strings that contain 481: Q ={λ,4,48, 481}, Σ ={0,1,...,9}, q 0 = λ, A ={481}. To define δ, weuse a for all letters (well,
More informationCS311 Computational Structures More about PDAs & Context-Free Languages. Lecture 9. Andrew P. Black Andrew Tolmach
CS311 Computational Structures More about PDAs & Context-Free Languages Lecture 9 Andrew P. Black Andrew Tolmach 1 Three important results 1. Any CFG can be simulated by a PDA 2. Any PDA can be simulated
More informationTheory of Computation Turing Machine and Pushdown Automata
Theory of Computation Turing Machine and Pushdown Automata 1. What is a Turing Machine? A Turing Machine is an accepting device which accepts the languages (recursively enumerable set) generated by type
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 informationTheory of Computer Science
Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 14, 2016 Introduction Example: Propositional Formulas from the logic part: Definition (Syntax of Propositional
More informationCSCI Compiler Construction
CSCI 742 - Compiler Construction Lecture 12 Cocke-Younger-Kasami (CYK) Algorithm Instructor: Hossein Hojjat February 20, 2017 Recap: Chomsky Normal Form (CNF) A CFG is in Chomsky Normal Form if each rule
More informationContext Free Languages and Grammars
Algorithms & Models of Computation CS/ECE 374, Fall 2017 Context Free Languages and Grammars Lecture 7 Tuesday, September 19, 2017 Sariel Har-Peled (UIUC) CS374 1 Fall 2017 1 / 36 What stack got to do
More informationComputational Models - Lecture 4 1
Computational Models - Lecture 4 1 Handout Mode Iftach Haitner. Tel Aviv University. November 21, 2016 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames by Maurice Herlihy, Brown University.
More informationNon-context-Free Languages. CS215, Lecture 5 c
Non-context-Free Languages CS215, Lecture 5 c 2007 1 The Pumping Lemma Theorem. (Pumping Lemma) Let be context-free. There exists a positive integer divided into five pieces, Proof for for each, and..
More informationVTU QUESTION BANK. Unit 1. Introduction to Finite Automata. 1. Obtain DFAs to accept strings of a s and b s having exactly one a.
VTU QUESTION BANK Unit 1 Introduction to Finite Automata 1. Obtain DFAs to accept strings of a s and b s having exactly one a.(5m )( Dec-2014) 2. Obtain a DFA to accept strings of a s and b s having even
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 informationMA/CSSE 474 Theory of Computation
MA/CSSE 474 Theory of Computation CFL Hierarchy CFL Decision Problems Your Questions? Previous class days' material Reading Assignments HW 12 or 13 problems Anything else I have included some slides online
More informationProperties of Context Free Languages
1 Properties of Context Free Languages Pallab Dasgupta, Professor, Dept. of Computer Sc & Engg 2 Theorem: CFLs are closed under concatenation If L 1 and L 2 are CFLs, then L 1 L 2 is a CFL. Proof: 1. Let
More informationHarvard CS 121 and CSCI E-207 Lecture 12: General Context-Free Recognition
Harvard CS 121 and CSCI E-207 Lecture 12: General Context-Free Recognition Salil Vadhan October 11, 2012 Reading: Sipser, Section 2.3 and Section 2.1 (material on Chomsky Normal Form). Pumping Lemma for
More informationPart 4 out of 5 DFA NFA REX. Automata & languages. A primer on the Theory of Computation. Last week, we showed the equivalence of DFA, NFA and REX
Automata & languages A primer on the Theory of Computation Laurent Vanbever www.vanbever.eu Part 4 out of 5 ETH Zürich (D-ITET) October, 12 2017 Last week, we showed the equivalence of DFA, NFA and REX
More informationCPS 220 Theory of Computation
CPS 22 Theory of Computation Review - Regular Languages RL - a simple class of languages that can be represented in two ways: 1 Machine description: Finite Automata are machines with a finite number of
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 informationPushdown Automata. Reading: Chapter 6
Pushdown Automata Reading: Chapter 6 1 Pushdown Automata (PDA) Informally: A PDA is an NFA-ε with a infinite stack. Transitions are modified to accommodate stack operations. Questions: What is a stack?
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 informationHomework 4 Solutions. 2. Find context-free grammars for the language L = {a n b m c k : k n + m}. (with n 0,
Introduction to Formal Language, Fall 2016 Due: 21-Apr-2016 (Thursday) Instructor: Prof. Wen-Guey Tzeng Homework 4 Solutions Scribe: Yi-Ruei Chen 1. Find context-free grammars for the language L = {a n
More informationEinführung in die Computerlinguistik
Einführung in die Computerlinguistik Context-Free Grammars formal properties Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2018 1 / 20 Normal forms (1) Hopcroft and Ullman (1979) A normal
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 informationCS500 Homework #2 Solutions
CS500 Homework #2 Solutions 1. Consider the two languages Show that L 1 is context-free but L 2 is not. L 1 = {a i b j c k d l i = j k = l} L 2 = {a i b j c k d l i = k j = l} Answer. L 1 is the concatenation
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 informationHomework 5 - Solution
DCP3122 Introduction to Formal Languages, Spring 2015 Instructor: Prof. Wen-Guey Tzeng Homework 5 - Solution 5-May-2015 Due: 18-May-2015 1. Given Σ = {a, b, c}, find an NPDA that accepts L = {a n b n+m
More informationContext-Free Grammars: Normal Forms
Context-Free Grammars: Normal Forms Seungjin Choi Department of Computer Science and Engineering Pohang University of Science and Technology 77 Cheongam-ro, Nam-gu, Pohang 37673, Korea seungjin@postech.ac.kr
More informationAn automaton with a finite number of states is called a Finite Automaton (FA) or Finite State Machine (FSM).
Automata The term "Automata" is derived from the Greek word "αὐτόματα" which means "self-acting". An automaton (Automata in plural) is an abstract self-propelled computing device which follows a predetermined
More informationExample. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).
CHAPTER 2 Groups Definition (Binary Operation). Let G be a set. A binary operation on G is a function that assigns each ordered pair of elements of G an element of G. Note. This condition of assigning
More informationGrammars and Context Free Languages
Grammars and Context Free Languages H. Geuvers and J. Rot Institute for Computing and Information Sciences Version: fall 2016 H. Geuvers & J. Rot Version: fall 2016 Talen en Automaten 1 / 24 Outline Grammars
More informationGrammars and Context Free Languages
Grammars and Context Free Languages H. Geuvers and A. Kissinger Institute for Computing and Information Sciences Version: fall 2015 H. Geuvers & A. Kissinger Version: fall 2015 Talen en Automaten 1 / 23
More informationContext Free Languages (CFL) Language Recognizer A device that accepts valid strings. The FA are formalized types of language recognizer.
Context Free Languages (CFL) Language Recognizer A device that accepts valid strings. The FA are formalized types of language recognizer. Language Generator: Context free grammars are language generators,
More informationThis lecture covers Chapter 7 of HMU: Properties of CFLs
This lecture covers Chapter 7 of HMU: Properties of CFLs Chomsky Normal Form Pumping Lemma for CFs Closure Properties of CFLs Decision Properties of CFLs Additional Reading: Chapter 7 of HMU. Chomsky Normal
More informationTheory of Computation
Theory of Computation Lecture #10 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 43 Lecture 10: Overview Linear Bounded Automata Acceptance Problem for LBAs
More informationIntro to Theory of Computation
Intro to Theory of Computation LECTURE 7 Last time: Proving a language is not regular Pushdown automata (PDAs) Today: Context-free grammars (CFG) Equivalence of CFGs and PDAs Sofya Raskhodnikova 1/31/2016
More information(b) If G=({S}, {a}, {S SS}, S) find the language generated by G. [8+8] 2. Convert the following grammar to Greibach Normal Form G = ({A1, A2, A3},
Code No: 07A50501 R07 Set No. 2 III B.Tech I Semester Examinations,MAY 2011 FORMAL LANGUAGES AND AUTOMATA THEORY Computer Science And Engineering Time: 3 hours Max Marks: 80 Answer any FIVE Questions All
More informationProperties of Context-free Languages. Reading: Chapter 7
Properties of Context-free Languages Reading: Chapter 7 1 Topics 1) Simplifying CFGs, Normal forms 2) Pumping lemma for CFLs 3) Closure and decision properties of CFLs 2 How to simplify CFGs? 3 Three ways
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 informationC6.2 Push-Down Automata
Theory of Computer Science April 5, 2017 C6. Context-free Languages: Push-down Automata Theory of Computer Science C6. Context-free Languages: Push-down Automata Malte Helmert University of Basel April
More informationC1.1 Introduction. Theory of Computer Science. Theory of Computer Science. C1.1 Introduction. C1.2 Alphabets and Formal Languages. C1.
Theory of Computer Science March 20, 2017 C1. Formal Languages and Grammars Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 20, 2017 C1.1 Introduction
More informationProblem Session 5 (CFGs) Talk about the building blocks of CFGs: S 0S 1S ε - everything. S 0S0 1S1 A - waw R. S 0S0 0S1 1S0 1S1 A - xay, where x = y.
CSE2001, Fall 2006 1 Problem Session 5 (CFGs) Talk about the building blocks of CFGs: S 0S 1S ε - everything. S 0S0 1S1 A - waw R. S 0S0 0S1 1S0 1S1 A - xay, where x = y. S 00S1 A - xay, where x = 2 y.
More informationCS Pushdown Automata
Chap. 6 Pushdown Automata 6.1 Definition of Pushdown Automata Example 6.2 L ww R = {ww R w (0+1) * } Palindromes over {0, 1}. A cfg P 0 1 0P0 1P1. Consider a FA with a stack(= a Pushdown automaton; PDA).
More informationMTH401A Theory of Computation. Lecture 17
MTH401A Theory of Computation Lecture 17 Chomsky Normal Form for CFG s Chomsky Normal Form for CFG s For every context free language, L, the language L {ε} has a grammar in which every production looks
More informationPlan for 2 nd half. Just when you thought it was safe. Just when you thought it was safe. Theory Hall of Fame. Chomsky Normal Form
Plan for 2 nd half Pumping Lemma for CFLs The Return of the Pumping Lemma Just when you thought it was safe Return of the Pumping Lemma Recall: With Regular Languages The Pumping Lemma showed that if a
More informationContext Free Languages. Automata Theory and Formal Grammars: Lecture 6. Languages That Are Not Regular. Non-Regular Languages
Context Free Languages Automata Theory and Formal Grammars: Lecture 6 Context Free Languages Last Time Decision procedures for FAs Minimum-state DFAs Today The Myhill-Nerode Theorem The Pumping Lemma Context-free
More information1. (a) Explain the procedure to convert Context Free Grammar to Push Down Automata.
Code No: R09220504 R09 Set No. 2 II B.Tech II Semester Examinations,December-January, 2011-2012 FORMAL LANGUAGES AND AUTOMATA THEORY Computer Science And Engineering Time: 3 hours Max Marks: 75 Answer
More informationCS20a: summary (Oct 24, 2002)
CS20a: summary (Oct 24, 2002) Context-free languages Grammars G = (V, T, P, S) Pushdown automata N-PDA = CFG D-PDA < CFG Today What languages are context-free? Pumping lemma (similar to pumping lemma for
More informationAutomata Theory. CS F-10 Non-Context-Free Langauges Closure Properties of Context-Free Languages. David Galles
Automata Theory CS411-2015F-10 Non-Context-Free Langauges Closure Properties of Context-Free Languages David Galles Department of Computer Science University of San Francisco 10-0: Fun with CFGs Create
More informationContext-Free Grammar
Context-Free Grammar CFGs are more powerful than regular expressions. They are more powerful in the sense that whatever can be expressed using regular expressions can be expressed using context-free grammars,
More informationComputability and Complexity
Computability and Complexity Push-Down Automata CAS 705 Ryszard Janicki Department of Computing and Software McMaster University Hamilton, Ontario, Canada janicki@mcmaster.ca Ryszard Janicki Computability
More informationContext Free Grammars
Automata and Formal Languages Context Free Grammars Sipser pages 101-111 Lecture 11 Tim Sheard 1 Formal Languages 1. Context free languages provide a convenient notation for recursive description of languages.
More informationAutomata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008
Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008 Name: ID #: This is a Close Book examination. Only an A4 cheating sheet belonging to you is acceptable. You can write your answers
More information