https://leuvendeu.com.br/livro/linguagens-formais-e-automatos-volume-3/