https://1library.org/document/z31g4o8y-linguagens-formais-e-automatos.html