static void Main(string[] args) { ILeitor leitorDeArquivo = new LeitorTxt(); var estados = leitorDeArquivo.Ler("teste.txt"); //"0a1;1b2;2b0;0c3"; if (string.IsNullOrEmpty(estados)) { Console.ReadKey(); return; } var automato = new AutomatoGenerico(estados); var count = 0; bool naoDeuCerto = false; for (int i = 0; i < 5; i++) { naoDeuCerto = automato.MudarEstado2(LerToken()); } if(!naoDeuCerto) Console.WriteLine("Palavra rejeitada!"); Console.ReadKey(); }
static void Main(string[] args) { ILeitor leitorDeArquivo = new LeitorTxt(); var estados = leitorDeArquivo.Ler("teste.txt"); //"0a1;1b2;2b0;0c3"; if (string.IsNullOrEmpty(estados)) { Console.ReadKey(); return; } var automato = new AutomatoGenerico(estados); var count = 0; bool naoDeuCerto = false; for (int i = 0; i < 5; i++) { naoDeuCerto = automato.MudarEstado2(LerToken()); } if (!naoDeuCerto) { Console.WriteLine("Palavra rejeitada!"); } Console.ReadKey(); }
public void Cenario() { automato = new AutomatoGenerico("0a1;1b2;2b0;0c3"); }