Trabalho da disciplina de Introdução a Teoria da Computação (ACH2043) EACH USP
Programa escrito na linguagem de programação Java para emular autômatos finitos não-determinísticos (AFNs). O programa deve receber um único arquivo-texto contendo as especificações de m AFNs M1, M2, . . . , Mm e, para cada autômato Mi , um conjunto de cadeias de teste w1, w2, . . . , wn.