Изменения

Автомат допускает слово <tex>\alpha</tex> , если <tex>\exists t \in T: \langle s, \alpha \rangle \vdash^* \langle t, \varepsilon \rangle</tex>.Процесс допуска происходит так же, как в ДКА , в котором Мерлин помогает выбрать правильный переход.