https://1library.org/document/q05d2glv-linguagens-autômatos-computabilidade-preliminar-exercícios-entrega-exercício-sipser.html