https://www.passeidireto.com/pergunta/131429890/automatos-finitos-e-um-sistema-formal-m-k-σ-d-e-0-f-em-que-k-e-um-conjunto-finit