Curricula on formal languages, regular expressions, and finite automata