Automata Theories

• enum_1
• choice_1
• lang_1 Language: def, equal, operations, rw lemmas.
• automata_1
• automata_2
• automata_3
• relation
• automata
• automata_4
• automata_5
• automata_6
• automata_7