Teori otomata

Otomata adalah sebuah 5-tupel formula_1: