UNIVERSIDADE FEDERAL DE SANTA MARIA
PROGRAMA DE DISCIPLINA
DEPARTAMENTO:
ELETRÔNICA E COMPUTAÇÃO
IDENTIFICAÇÃO DA DISCIPLINA:
CÓDIGO
NOME
(T-P)
ELC 1009
LINGUAGENS FORMAIS
(2-0)
OBJETIVOS - ao término da disciplina o aluno deverá ser capaz de :
Desenvolver
sistemática
e
formalmente
conceitos
linguagens, gramáticas, reconhecedores e geradores.
PROGRAMA:
TÍTULO E DISCRIMINAÇÃO DAS UNIDADES
UNIDADE 1 - LINGUAGENS REGULARES
1.1
1.2
1.3
1.4
1.5
-
Autômatos finitos determinísticos.
Autômatos finitos não-determinísticos.
Expressões regulares.
Linguagens Regulares e não-regulares.
Minimizações de estado.
UNIDADE 2 - LINGUAGENS LIVRES DE CONTEXTO
2.1
2.2
2.3
2.4
2.5
-
Gramáticas livres de contexto.
Árvores de derivação.
Autômato de pilha.
Linguagens livres de contexto e não-livres de contexto.
Algoritmos para gramáticas livres de contexto.
UNIDADE 3 - MÁQUINAS DE TURING
3.1 - Máquina de Turing.
3.2 - Linguagens recursivas e enumeráveis recursivamente.
3.3 - Gramáticas irrestritas.
relacionados
às
PROGRAMA: (continuação)
Data: ____/____/____
Data: ____/____/____
______________________
Coordenador do Curso
___________________________
Chefe do Departamento