Estou tentando resolver um problema específico e pensei que poderia resolvê-lo usando a teoria dos autômatos. Gostaria de saber, que modelos de autômatos têm contenção decidível em tempo polinomial? ou seja, se você tiver máquinas poderá testar se L ( M 1 ) ⊆ L ( M 2 ) com eficiência.M1,...