Computer Science 456/656: Automata and Formal Languages

Spring 1999

Homework Assignment 3.

Due February 22, 1999

You may discuss this assignment with other students in the class, or other persons. But you must actually write the assignment in your own hand. You must turn in the homework on letter-sized paper, with your name at the top of each page. Use pen or pencil, any color.

Do not write your homework as a computer file and turn in a printout.

HERE
• Work exercise 6.1 on page 191 of your textbook.
• Work exercise 6.3 on page 191 of your textbook.
• Work exercise 6.4 on page 192 of your textbook. You are to use structural induction.
• Work exercise 6.5 on page 192 of your textbook. You are to use structural induction, but the predicate is not just the statement of the theorem.
• Work exercise 6.27 on page 195 of your textbook.