CS 133 - Automata Theory and Computability

Announcements

As brought up by Mr. Levi Gruspe, and after checking several references, it seems that the (un)decidability of D is still under question. Also, upon checking how I did the reduction, it turns out that it was actually wrong to begin with. As such, Item 1 is now a bonus item. Sorry for the mistake. :)