Quotient of CFL and Regular Language
March 12 2014
Theorem 1. If L is a CFL, and R is regular, then L/R is a CFL.
Proof. There are a number of ways to approach this. For example, you can construct a P
University of Waterloo
CS 462 Formal Languages and Parsing
Winter 2014
Problem Set 4
Distributed Tuesday, February 4 2014. Due Tuesday, February 11 2014, in class.
All answers should be accompanied by
Notes for CS 462, January 17 2013
Today we proved Theorem 2.5.1 using a proof dierent from that in the text. Here it is:
We dene 0 = 1 and 1 = 0.
Lemma 1. Let be the morphism dened by (0) = 01 and (1)
University of Waterloo
CS 462 Formal Languages and Parsing
Winter 2014
Problem Set 7
Distributed Tuesday, March 4 2014. Due Tuesday, March 11 2014, in class.
All answers should be accompanied by proof
Revised proof of Theorem 3.10.2
February 27 2014
Theorem 1 (3.10.2). Algorithm NAIVE-MINIMIZE terminates and correctly returns an array
1,
0,
U (cfw_p, q) =
if p q;
if p q.
Furthermore, the pair cfw_p
Revised proof of Theorem 4.2.1
March 11 2014
Theorem 1 (4.2.1). A unary language is context-free if and only if it is regular.
Proof. One direction is easy.
For the other direction, suppose L 0 is con
University of Waterloo
CS 462 Formal Languages and Parsing
Winter 2014
Problem Set 5
Distributed Tuesday, February 11 2014. Due Tuesday, February 25 2014, in class.
All answers should be accompanied b
University of Waterloo
CS 462 Formal Languages and Parsing
Winter 2014
Problem Set 3
Distributed Tuesday, January 28 2014.
Due Tuesday, February 4 2014, in class.
All answers should be accompanied by
CS 462 Problem-Solving Session
Week 1: Version C
January 8, 2014
Recall that a word x is a palindrome if x = xR , where xR denotes the reversal of x.
For a word x cfw_0, 1 , let x denote the word obta
CS 462 Problem-Solving Session
Week 1: Version B
January 8, 2014
Recall that a word x is a palindrome if x = xR , where xR denotes the reversal of x.
For a word x cfw_0, 1 , let x denote the word obta
University of Waterloo
CS 462 Formal Languages and Parsing
Winter 2014
Problem Set 1
Distributed Tuesday, January 14 2014.
Due Tuesday, January 21 2014, in class.
All answers should be accompanied by
University of Waterloo
CS 462 Formal Languages and Parsing
Winter 2014
Problem Set 9
Distributed Tuesday, March 18 2014. Due Tuesday, March 25 2014, in class.
All answers should be accompanied by proo