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.