Teori otomata

S --> ABC