SW: Automaty

DFA: (Q, T, prechodova fcia, pociatocny stav, konecny stav), kde Q je mnozina stavov a T je vst. abeceda.
- prijima regularny jazyk, generovany regularnou gramatikou