Exercises
- Sipser Exercises 1.4.c, 1.5.d.
- Use Th. 1.45 to define an NFA recognizing the union of the languages from Exercises 1.6.c and 1.6.g.
- Use Th. 1.47 to define an NFA recognizing the concatenation of the languages from Exercises 1.6.c and 1.6.g.
- Sipser Problems 1.42 (Intl 1.32), 1.43 (Intl 1.33).