Computer science theory assignments - Deterministic and nondeterministic finite automata, Turing machine etc.