Autômato finito não determinístico
- transições são ambíguas;
- Vários caminhos para um mesmo símbolo;
- não é obrigatório adicionar transições para todos os símbolos;
- para checar a validade da entrada é necessário analisar todos os caminhos usando uma árvore;
- Para ser válido precisa parar em pelo menos um estado final dentre todas as possibilidades de caminhos;
como tivemos um estado final ao testar o valor 1100, esse valor é válido
para representar como uma tabela, agora temos um conjunto de estados em cada transição, e também temos conjuntos vazios quando não há transição.