Autómatos finitos III

16 fevereiro 2011, 14:00 José Félix Costa

Representação em linguagem binária de predicados sobre o conjunto dos números naturais. Conjuntos tally.

Exercícios de aplicação do lema de pumping. Exercícios de aplicação conjunta do lema de pumping e do fecho booleano da classe das linguagens regulares.