Main navigation | Main content
CSci 4011: Automata, Computability &
Complexity
Homework 4
Homework assignments are to be completed
alone and without assistance (except from TAs and the
Instructor). Write your discussion
section number (e.g. “discussion 3”) at the
top of your work.
Due in gradescope as a PDF.
Do the following exercises/problems from the class textbook.
Show all your reasoning for full credit.
Chapter 4 4.13 Chapter 5 5.1 — you may assume the result in chapter 5 that ALL\(_{\operatorname{CFG}}\) is undecidable. 5.2, 5.3, 5.4, 5.15, 5.17, 5.19 |