Automata, Computability and Complexity
Available from February 9, 2021
Course: CSE2315 Edition: 2020-2021
Enroll
Course Information
About the Course
There is no description for this course set by the course staff (yet).
Latest Announcements
Update to the question about SATExcept
at Wed, Jun 30, 2021 14:32:44Dear students,
We have added a set of curly braces to the description of the variable C in the question about the SATExcept problem. Refreshing the page will now get you the updated version of this question (identifiable by the “EDIT” marker at the top).
- The ACC-team
Change a transition
at Wed, Mar 10, 2021 09:18:41Dear students,
There seems to be some confusion about “changing” a transition in the question that asks you to:
Which single transition can you change such that the transition graph represents …
We mean that for any given transition you may change it’s source and/or destination and/or label. If it helps, you can think of it as removing one and adding another transition.
- The ACC-team