Automata-based programming course 2013.