Day19 - Nerode Theorem. Is this a better theorem than the...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Day 19, April 1, 2008. Version 2.0 Item #26. Homework assignments through April 10. Thursday, April 3 : Individual assignment: §7.2 (15). Grade will be combined with your second team assignment that you turned in today. Tuesday, April 8, or Thursday, April 10: Individual assignment. The letters a-f in this assignment are from Item #8 on the Day1.pdf handout. Tuesday are a, b, c & f, g, h; Thursday are i, j, k, l, m, and any left over from Tuesday. a. What is a Petri net? b. What are omega±regular ( ω ±regular ) languages? c and f. Show that an NPDA with a finite stack is equivalent to an ndfa. Show that an NPDA that can only run for a finite predetermined amount of time is equivalent to an ndfa. g. What is an LL grammar? (How does it compare with others we’ve seen?) h. What is an LR grammar? (How does it compare with others we’ve seen?) i. How did Anil Nerode characterize regular languages? (The so±called Myhill±
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Nerode Theorem. Is this a better theorem than the Pumping Lemma? j. What if a PDA has two stacks? (Any corresponding grammar? Any interesting examples of languages that can be parsed with two stacks that cant be parsed with one stack?) [Reference: p. 81 of Wayne Goddards textbook.] k. What is an Lsystem? (Sometimes called a Lindenmayer system. Demo in JFLAP.) l. Write or find on the internet a Java function to calculate the Ackermann function defined on page 329 of your text. Demo it for Questions 8 and 14 on p. 333. Name and letter taken: Bachmann __ I ___; Das _____; Diehl _____; Doyle _____; Mitchell __ A ___; Pesner __ L ___; SoderbergRivkin __ K ___; Townsend __ absent ___; Veronda __ absent ___. B, G, H are taken by Das, Diehl and Doyle in some order. Towsend and Veronda should pick one of J or C&F. First to email me with their request from one of those two options gets it....
View Full Document

Page1 / 2

Day19 - Nerode Theorem. Is this a better theorem than the...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online