https://www.blogcyberini.com/2018/03/poscomp-linguagens-formais-automatos-04.html