Автомат, що приймає нескінченні слова

Автомат, що має стек

Автомат, у якому з кожного стану можливі кілька переходів на один символ

Автомат, у якому для кожного стану і символу є не більше одного переходу