sources of materials in formal languages, automata and computability