... funkcja1
W literaturze można spotkać definicje, w których niedeterministyczny automat skończony ma relację przejścia postaci $\delta \subseteq Q \times \Sigma \times Q$. Relacje takie są jednak izomorficzne z funkcjami podanej przez nas postaci.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... stos2
W literaturze można spotkać trzy różne definicje, wzajemnie równoważnych automatów stosowych: akceptujących pustym stosem, akceptujących stanem i akceptujących pustym stosem i stanem równocześnie. Tutaj przedstawiamy najprostszy z tych rodzajów automatów stosowych -- akceptujące pustym stosem.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.