02 Determinismus
$$
\require{mathtools}
\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
\newcommand{\dv}[1]{\frac{\mathrm{d}}{\mathrm{d} #1}}
\newcommand{\dvv}[2]{\frac{\mathrm{d} #1}{\mathrm{d} #2}}
$$
# Determinismus
# Deterministický
- Je jasně určeno, jak se automat bude chovat, jaký bude další stav
- (Výpočet se dá nakreslit)
# Nedeterministický
- Není jasně určeno, do které z následujících stavů půjde
- Může mít více přechodů pro jeden stejný symbol
- (Všechny výpočty pro vstup se musí nasimulovat, mohou být různé)