Autômato finito não-determinístico

Redireciona para:

• Máquina de estados finitos não determinística