Automato finito nao deterministico - Significado, sinônimos e exemplos