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