Linguagens Formais

Professor: João Carlos Pereira da Silva

Período: 3º

Descrição:

Linguagens e gramáticas (regulares, livres de contexto, sensíveis ao contexto). Máquinas de estados finitos (modelos não determinísticos, expressões regulares, minimização). Autômato de pilha, máquina de Turing. Problema de parada.

Créditos: 4 créditos

Código: MAB 123

Turma: 2820

Sala: F2 014

Vagas: 60

Carga Horária Semanal: 4 horas

Requisitos (é preciso ter cursado as seguintes disciplinas): Matemática Combinatória

Horários: Terça-feira (10:00 - 12:00), Quinta-feira (10:00 - 12:00)

Link: http://www.dcc.ufrj.br/~collier/cursospre/LF.html