Você está na página 1de 3

Linguagens Formais e Autmatos

o c s i c s o n o a r m F a a t o u R p a S n m o e o d d C i e l e M a d V s a u i i o r c d a l n h i a n V r e e s g d u n e c E F r a e e d d M a o . d s f i r o s u r r P C e v i n U

1. OBJETIVOS Capacitar o aluno na anlise e sntese de linguagens estruturadas em frases, atravs do uso dos vrios tipos de notao estudadas na disciplina; Habilitar o aluno na identificao da classe a que uma linguagem pertence, assim como das suas principais propriedades decorrentes; Preparar o aluno para analisar criticamente os custos envolvidos na escolha de cada modelo de implementao, fundamentando as suas escolhas em cada caso; Treinar o aluno no uso da notao e do rigor matemtico para expressar e comunicar suas idias, assim como para entender as dos autores da rea; Desenvolver o raciocnio lgico e abstrato do aluno; Mostrar ao aluno as principais aplicaes prticas da teoria estudada, em particular a forma como elas comparecem na rotina das atividades do profissional da rea; Preparar o aluno para a formalizao e o estudo da sintaxe de linguagens de programao, bem como dos seus principais modelos de implementao; Fazer com que o aluno compreenda os limites tericos da computao, estabelecendo as fronteiras e o escopo da sua futura atuao profissional e/ou definindo matria de pesquisa para futuro desenvolvimento cientfico.

2. EMENTA Conceitos bsicos de linguagens (smbolo, alfabeto, cadeias e linguagens); Modelos de sntese (gramticas) e anlise (reconhecedores) de linguagens; Hierarquia de Chomsky; Classes de linguagens (regulares, livres de contexto, sensveis ao contexto, recursivas e recursivamente enumerveis), seus modelos de sntese e anlise, a relao entre as classes e suas principais propriedades; Decidibilidade. 3. METODOLOGIA Aulas expositivas com realizao de exerccios em sala de aula aps a apresentao de cada novo contedo. Exerccios e atividades extra-classe com simuladores grficos (JFLAP).

4. CONTEDO PROGRAMTICO
Elementos de matemtica discreta o Conjuntos. Funes e relaes. Conjuntos enumerveis. Conceitos bsicos de linguagens. o Smbolos. Alfabetos. Cadeias. Sentenas. Linguagens. o Linguagens como conjuntos Gramticas e reconhecedores. Linguagens regulares. o Gramticas regulares o Expresses regulares. o Autmatos finitos. No-determinismos e transies em vazio. Eliminao de nodeterminismos. Eliminao de transies em vazio. o Equivalncia entre autmatos finitos, gramticas regulares e expresses regulares. o Minimizao de autmatos finitos. o Transdutores finitos. o Pumping Lemma para as linguagens regulares. o Propriedades de fechamento das linguagens regulares. o Questes decidveis das linguagens regulares. Linguagens livres de contexto. o Gramticas livres de contexto. o rvores de derivao. o Ambigidade. o Simplificao de gramticas livres de contexto. o Formas normais para gramticas livres de contexto. o Autmatos de pilha. Critrios de aceitao. o Linguagens livres de contexto determinsticas. o Pumping Lemma para as linguagens livres de contexto. o Propriedades de fechamento das linguagens livres de contexto . o Questes decidveis das linguagens livres de contexto. Mquinas de Turing. Linguagens sensveis ao contexto. o Gramticas sensveis ao contexto. o Forma normal para gramticas sensveis ao contexto. o Mquinas de Turing com fita limitada. Linguagens recursivas. Decidibilidade. Problema da parada. Linguagens recursivamente enumerveis. o Gramticas irrestritas. Hierarquia de Chomsky. Linguagens que no so recursivamente enumerveis.

5. AVALIAO Mdia aritmtica das notas obtidas em duas avaliaes. 6. BIBLIOGRAFIA Bsica:

Apostila do professor e notas de aula.

Complementar:
L

, P.B. Menezes, Editora Sagra-Luzzatto, Quinta , J. E. Hopcroft, R.


n o i t a t u p m o c d n a s e g a u g n a l
,

edio, 2005. Motwani and J. D. Ullman, Terceira edio, 2007; , T. A. Sudkamp, Addison Wesley, Terceira edio, 2006;
s e n i h c a m d n a s e g a u g n a
L y

s r

t o

a e h

m t

t a t

u a

a m

e o

s t

i u

a a

r o t

f n

s o i

n t

e c

g u

a d

u o

g r t

i n
I