linear-bounded-automaton
A thorough study and exploration of automata, beginning with Chomsky's hierarchy.