CSE 355 Test 2, Fall 2016

Similar documents
10. The GNFA method is used to show that

Context-Free Languages (Pre Lecture)

Context-Free and Noncontext-Free Languages

CS5371 Theory of Computation. Lecture 9: Automata Theory VII (Pumping Lemma, Non-CFL)

FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY

2.1 Solution. E T F a. E E + T T + T F + T a + T a + F a + a

The Pumping Lemma for Context Free Grammars

CS5371 Theory of Computation. Lecture 9: Automata Theory VII (Pumping Lemma, Non-CFL, DPDA PDA)

Harvard CS 121 and CSCI E-207 Lecture 10: CFLs: PDAs, Closure Properties, and Non-CFLs

THEORY OF COMPUTATION (AUBER) EXAM CRIB SHEET

Computational Models - Lecture 5 1

Section 1 (closed-book) Total points 30

CISC4090: Theory of Computation

Theory of Computation

Before We Start. The Pumping Lemma. Languages. Context Free Languages. Plan for today. Now our picture looks like. Any questions?

Properties of Context-Free Languages

Solution Scoring: SD Reg exp.: a(a

Computational Models - Lecture 4

Pushdown Automata. Notes on Automata and Theory of Computation. Chia-Ping Chen

Context Free Languages: Decidability of a CFL

NPDA, CFG equivalence

Introduction to Theory of Computing

Computational Models - Lecture 4 1

Problem 2.6(d) [4 pts] Problem 2.12 [3pts] Original CFG:

ECS 120: Theory of Computation UC Davis Phillip Rogaway February 16, Midterm Exam

Context-Free Languages

Pumping Lemma for CFLs

Name: Student ID: Instructions:

MA/CSSE 474 Theory of Computation

CS 341 Homework 16 Languages that Are and Are Not Context-Free

AC68 FINITE AUTOMATA & FORMULA LANGUAGES DEC 2013

Properties of Context-Free Languages. Closure Properties Decision Properties

CPS 220 Theory of Computation

SCHEME FOR INTERNAL ASSESSMENT TEST 3

Theory Bridge Exam Example Questions

Properties of Context-free Languages. Reading: Chapter 7

Theory of Computation (IV) Yijia Chen Fudan University

Notes for Comp 497 (Comp 454) Week 10 4/5/05

Closure Properties of Context-Free Languages. Foundations of Computer Science Theory

Non-context-Free Languages. CS215, Lecture 5 c

Harvard CS 121 and CSCI E-207 Lecture 12: General Context-Free Recognition

PUSHDOWN AUTOMATA (PDA)

Ogden s Lemma for CFLs

MA/CSSE 474 Theory of Computation

Note: In any grammar here, the meaning and usage of P (productions) is equivalent to R (rules).

CISC 4090 Theory of Computation

CISC 4090 Theory of Computation

Functions on languages:

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

The View Over The Horizon

Foundations of Informatics: a Bridging Course

Pushdown Automata. We have seen examples of context-free languages that are not regular, and hence can not be recognized by finite automata.

DM17. Beregnelighed. Jacob Aae Mikkelsen

This lecture covers Chapter 7 of HMU: Properties of CFLs

Intro to Theory of Computation

Please give details of your answer. A direct answer without explanation is not counted.

CS 301. Lecture 18 Decidable languages. Stephen Checkoway. April 2, 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Part 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

CPSC 421: Tutorial #1

Notes for Comp 497 (454) Week 10

Final exam study sheet for CS3719 Turing machines and decidability.

Automata Theory. CS F-10 Non-Context-Free Langauges Closure Properties of Context-Free Languages. David Galles

Properties of context-free Languages

3130CIT Theory of Computation

CpSc 421 Final Exam December 15, 2006

Lecture 17: Language Recognition

CS154 Final Examination

Miscellaneous. Closure Properties Decision Properties

CSE 105 Homework 5 Due: Monday November 13, Instructions. should be on each page of the submission.

CS500 Homework #2 Solutions

V Honors Theory of Computation

Context Free Languages and Grammars

Finite Automata and Formal Languages TMV026/DIT321 LP Useful, Useless, Generating and Reachable Symbols

ÖVNINGSUPPGIFTER I SAMMANHANGSFRIA SPRÅK. 17 april Classrum Edition

60-354, Theory of Computation Fall Asish Mukhopadhyay School of Computer Science University of Windsor

Cliff s notes for equivalence of CFLs and L(PDAs) LisaCFL L = L(M) for some PDA M L=L(M)forsomePDAM L = L(G) for some CFG G

Formal Languages, Automata and Models of Computation

Computational Models: Class 5

I have read and understand all of the instructions below, and I will obey the University Code on Academic Integrity.

Theory of Computation (Classroom Practice Booklet Solutions)

Homework 5 - Solution

Concordia University Department of Computer Science & Software Engineering

Pushdown automata. Twan van Laarhoven. Institute for Computing and Information Sciences Intelligent Systems Radboud University Nijmegen

PS2 - Comments. University of Virginia - cs3102: Theory of Computation Spring 2010

EXAM. CS331 Compiler Design Spring Please read all instructions, including these, carefully

Automata and Computability. Solutions to Exercises

CS154 Final Examination

CS5371 Theory of Computation. Lecture 7: Automata Theory V (CFG, CFL, CNF)

Fundamentele Informatica II

Context-Free Grammars and Languages. Reading: Chapter 5

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,

Decidability (What, stuff is unsolvable?)

CSE 105 THEORY OF COMPUTATION. Spring 2018 review class

Theory of Computation Turing Machine and Pushdown Automata

Automata and Computability. Solutions to Exercises

The Pumping Lemma and Closure Properties

UNIT-VI PUSHDOWN AUTOMATA

Definition: A grammar G = (V, T, P,S) is a context free grammar (cfg) if all productions in P have the form A x where

Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008

Transcription:

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, return the entire paper to the instructor with a short note indicating what you believe to be the error. Other than for that reason, test grades are almost never changed. If you believe that you did not receive the proper credit, first read these sample solutions carefully to see if you can understand the answer to your concern. If that does not resolve it, write a clear explanation of why you believe the grade is in error and submit that, along with the entire test paper, to the instructor. Please do not discuss in your explanation how your solution is like that of another student, as FERPA legislation makes it impossible for me to discuss one student s work with another. Please take into account that more than 350 papers were graded, and it is quite unfair to change the grade on one paper without giving every other student the same opportunity. If you nevertheless want the paper regraded, be advised that the entire paper will be regraded and the grade may go up, stay the same, or go down. The new grade will be final. It is a violation of the Academic Integrity Policy to request a grade change simply because you need or want a higher grade. If you require a clarification of the sample solutions (not a grade change or review as discussed above), ask in recitations, or in office hours of the TA or instructor. You will be asked whether you have read the sample solution and to indicate what precisely is unclear to you about it, so read these sample solutions carefully first. Note that under no circumstances can anyone change a grade other than the instructor, so do not ask the TAs to do so they are not able to. Grade change requests, whether submitted as described above or not, will not be considered if received after 24 November 2016. Instructions Do not open the exam until you are instructed to do so. There are five sheets of paper, twosided, containing Multiple Choice Questions, Answers to Multiple Choice, and three Long Answer questions. You must write your name and student number on each and every sheet indicated; failure to do so may result in your test not being properly graded. Write legibly we must be able to read your name and number. You must turn in all sheets including the multiple choice questions. You have 50 minutes to complete the exam. No books, notes, electronic devices, or other aids are permitted. Turn off all wireless devices and place them away from your work space. Write all answers on the examination paper itself. BUDGET YOUR TIME WELL! SHOW ALL WORK! 1

Name: Ima Sample 2 Student Number: 1357924680 Answers to Multiple Choice [14 marks in total] Enter each response (one of a, b, c, d, e) for the questions on the Multiple Choice pages. Giving 0, or 2 or more, responses to a question is incorrect. Illegible or blank responses are incorrect. 1 2 3 4 5 6 7 D E B C D E A 8 9 10 11 12 13 14 A C B B A B A TOTAL Multiple Choice [14 marks in total] Select the most appropriate answer for each, and enter each response (one of a, b, c, d, e) on the Answers to Multiple Choice page. 1. A class of languages is closed under subsets if whenever L is in the class and L L, L is also in the class. Among the context-free, regular, and finite languages, the classes that are closed under subsets are: d only finite. 2. A derivation of a string w of length n in a context-free grammar e can involve any positive integer number of rules. 3. A derivation of a string w of length n in a context-free grammar in Chomsky normal form b must involve exactly 2n 1 applications of rules, except possibly when n 5. 4. A context-free grammar G is ambiguous if c some string w L(G) has at least two different parse trees. 5. To show that a language is context-free, one could give a PDA for it. One could also d give a context-free grammar for it or use closure properties 6. To show that a language is not context-free, one could e use the pumping lemma for context-free languages or use closure properties 7. Whenever each transition of a PDA M does not pop a symbol, the language of M a must be regular but need not be finite. 8. Whenever each transition of a PDA M that pushes also pops, the language of M a must be regular but need not be finite. 9. Whenever each transition of a PDA M pops a symbol, the language of M c must be finite but need not be empty. 10. Whenever each transition of PDA M either pops or pushes, but not both, the language of M b must be context-free but need not be regular. 11. In a CFG in CNF with start variable S, which rule could not arise? b B Bc. 12. In converting a regular grammar to Chomsky normal form, which step is not required? a Break up long right hand sides. 13. Context-free languages are closed under b union, star, and concatenation but not intersection or complementation. 14. Suppose that M = (Q, Σ, Γ, δ, q 0, F ) is a PDA. Which of the following must be false? a Q is empty.

Name: Ima Sample 3 Student Number: 1357924680 Question 1. [12 marks] The square of a language L is Sq(L) = {ww : w L}; the double of a language is Do(L) = {wx : w, x L}. (a) [4 marks] If L is regular, must Do(L) be context-free? Justify your answer carefully. Yes, Do(L) must be context-free. Do(L) = {wx : w, x L} is just LL. Since L is regular, and regular languages are closed under concatenation, LL is also regular. But since every regular language is context-free, Do(L) is context-free. (b) [8 marks] If L is regular, must Sq(L) be context-free? Justify your answer carefully. No, Sq(L) need not be context-free. Let L = 0 1, so L is regular. Assume to the contrary that Sq(L) is context-free, and let p be its pumping length p. Choose s = 0 p 1 p 0 p 1 p ; then s Sq(L) and s p. For each way to write s = uvxyz with vxy p and vy 1, consider uv 0 xy 0 z = 0 p a 1 p b 0 p c 1 p d for some a, b, c, d 0. Because 1 vxy p we have 1 a + b + c + d p. Case 1. a c or b d: Then 0 p a 1 p b 0 p c 1 p d is not of the form ww and so is not in Sq(L). Case 2. a > 0: Because vxy p we have c = d = 0 and hence a contradiction because a = c is necessary (see Case 1). Case 3. d > 0: Because vxy p we have a = b = 0 and hence a contradiction because b = d is necessary. (see Case 1). No matter how s is written as uvxyz, uv 0 xy 0 z Sq(L), and hence Sq(L) is not context-free. For a different solution see Question 1 in Quiz 9 sample solutions. Question 2. [12 marks] Let L 1 = {w {0, 1, 2} : w contains more 0s than 1s}. Let L 2 = {w {0, 1, 2} : w has the same number of 1s and 2s}. (a) [3 marks] Give a transition diagram for a PDA to recognize L 1. 2, ɛ ɛ 0, ɛ 0 1, ɛ 1 0, 1 ɛ 1, 0 ɛ ɛ, 0 ɛ ɛ, ɛ $ ɛ, 0 ɛ ɛ, $ ɛ q 0 q 1 q 2 q 3 Explanation: On reading a 0, we can push a 0 or pop a 1, while on reading a 1, we can push a 1 or pop a 0. This results in the number of 0 s minus the number of 1 s on the stack matching the number of 0 s minus the number of 1 s in the input. We want to have at least one more 0 than 1, so we can only transition to the final state if there is a 0 on the top of the stack. If, on seeing 0, we always push 0 when there is a 0 on top of the stack and pop 1 when there is a 1 (and vice versa when seeing 1), we will end up with the stack containing only 0 s or only 1 s. So if there are more 0 s than 1 s, we can remove all the 0 s on the stack and reach its bottom. Using other transitions may make fail to accept a valid string but will not accept an invalid string. So the PDA correctly decides L 1.

Name: Ima Sample 4 Student Number: 1357924680 (b) [3 marks] Give a CFG to generate L 2. S ɛ S0S S1S2S S2S1S The empty string is in L 2. We can insert a 0 in between two valid strings to obtain another valid string. The last two rules are valid because in each, a 1 is paired with a 2, and the other parts have a balanced number of 1 s and 2 s by induction. Explanation: To show that all strings in L 2 are covered by this grammar, consider such a string w. If w consists entirely of 0 s, it is covered by the first two rules. Otherwise, there is some first 1 or 2 in w. Suppose it is a 1; the case for it being a 2 can be obtained by exchanging 1 and 2 in the following. We search forward until we find a 2 after having passed an equal number of intervening 1 s and 2 s, and then apply the S S1S2S rule, after which we have three pieces with an equal number of 1 s and 2 s, so can use the three S s on the right-hand side for them. It is always possible to find a matching 2: Otherwise, we reach the end of the string with more 1 s than 2 s, contradicting the assumption that w L 2. (c) [6 marks] State whether or not L 1 L 2 is context-free. Justify your answer carefully. No, it is not context-free. Using the notation w x for the number of x s appearing in w, L 1 L 2 = {w {0, 1, 2} w 0 > w 1 = w 2 } Assume (to the contrary) that L 1 L 2 is context-free, and has pumping length p. Choose w = 0 p+1 1 p 2 p to pump. There are two cases to consider for w = uvxyz. vy contains no 2: Then vy contains at least one 0 or 1 because vy 1. But uv 0 xy 0 z = uxz has at most as many 0 s or fewer 1 s (or both) than 2 s, so the result is not in L 1 L 2. vy does contain a 2: Then it cannot contain a 0, because vxy p. So uv 2 xy 2 z has at least as many 2 s as 0 s, again yielding a string not in L 1 L 2. So the string w cannot be pumped, a contradiction. So L 1 L 2 is not context-free. Because context-free languages are not closed under intersection, we have to check the specific language L 1 L 2. It may happen that L, L, and L L are all CFLs, so you cannot just say that because we do not have closure under intersection, we do not need to check!

Name: Ima Sample 5 Student Number: 1357924680 Question 3. [12 marks] Consider the context-free grammar G with variables {S, A, B}, terminals {a, b}, and rules 1. S A B 2. A aaa Aa B ε 3. B abb Bb B ε (a) [6 marks] Using grammar G and using the methods from class, form an equivalent grammar G in which (1) the start variable does appear on the RHS of a rule, (2) there are no unit rules, and (3) the only ε-rule has the start variable on the LHS. I assume that S is the start variable, not on the RHS when we start. Eliminate ε-rules: 1. S A B ε 2. A aa a aaa Aa B 3. B ab b abb Bb B Now eliminate unit rules: 1. S aa a ab b aaa Aa abb Bb ε 2. A aa a ab b aaa Aa abb Bb 3. B ab b abb Bb Now if you state the assumption that the question meant to say does not appear instead of does appear, we are done. To do the question as stated, add a variable T and the rule S T S. (b) [6 marks] Using the method described in class, show a transition diagram for a PDA that recognizes the language generated by G. Explain your steps. First I make an extended PDA. ɛ, ɛ # ɛ, ɛ S ɛ, # ɛ q 0 q 1 q w q f There are loops at labeled a, a ɛ; b, b ɛ; ɛ, S A; ɛ, S B; ɛ, A B; ɛ, A Aa; ɛ, A aaa; ; ɛ, A ɛ; ɛ, B ɛ; ɛ, B B; ɛ, B Bb; and ɛ, B abb. Now I break up multiple pushes, replacing the loop transitions at q w with r2 t2 ɛ, ɛ A ɛ, ɛ a ɛ, ɛ a ɛ, ɛ B r1 ɛ, A a ɛ, B b t1 ɛ, A a q w s1 ɛ, ɛ A ɛ, B b ɛ, ɛ B There are loops at labeled a, a ɛ; b, b ɛ; ɛ, S A; ɛ, S B; ɛ, A B; ɛ, A ɛ; ɛ, B ɛ; and ɛ, B B. u1