Linguagens Formais e Autômatos Linguagens e - TecMF - PUC-Rio

Linguagens Formais e Autômatos
Linguagens e Máquinas
INF1626 e INF1302
Prof. Edward Hermann Haeusler
PUC-Rio
Departamento de Informática
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
1/6
Sobre o que é este Curso ??
Linguagem Formal ??
O que é uma Linguagem ?
O que é Sintaxe ?
O que é Semântica ?
Como definimos uma linguagem ?
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Linguagem Formal ??
O que é uma Linguagem ?
O que é Sintaxe ?
O que é Semântica ?
Como definimos uma linguagem ?
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Linguagem Formal ??
O que é uma Linguagem ?
O que é Sintaxe ?
O que é Semântica ?
Como definimos uma linguagem ?
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Linguagem Formal ??
O que é uma Linguagem ?
O que é Sintaxe ?
O que é Semântica ?
Como definimos uma linguagem ?
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
Linguagem Formal ??
O que é uma Linguagem ?
O que é Sintaxe ?
O que é Semântica ?
Como definimos uma linguagem ?
Autômatos ??
Máquinas Automáticas ??
Máquinas Programáveis ??
O que é um Programa ??
O que é a Linguagem de Programação?
Como o Computador “entende” uma L.P. ??
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
L.F.A.: Contexto da Ementa
Estudo de Linguagens sob o ponto de vista sintático
Teoria e Fundamantos de Compilação
Complexidade Computacional
Modelos de Computação e Representação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
L.F.A.: Contexto da Ementa
Estudo de Linguagens sob o ponto de vista sintático
Teoria e Fundamantos de Compilação
Complexidade Computacional
Modelos de Computação e Representação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
L.F.A.: Contexto da Ementa
Estudo de Linguagens sob o ponto de vista sintático
Teoria e Fundamantos de Compilação
Complexidade Computacional
Modelos de Computação e Representação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
L.F.A.: Contexto da Ementa
Estudo de Linguagens sob o ponto de vista sintático
Teoria e Fundamantos de Compilação
Complexidade Computacional
Modelos de Computação e Representação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Sobre o que é este Curso ??
L.F.A.: Contexto da Ementa
Estudo de Linguagens sob o ponto de vista sintático
Teoria e Fundamantos de Compilação
Complexidade Computacional
Modelos de Computação e Representação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
2/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Informativos
História da Computação
Limitações do processo computacional
Hierarquia de Chomsky
Hierarquia de Complexidade
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Informativos
História da Computação
Limitações do processo computacional
Hierarquia de Chomsky
Hierarquia de Complexidade
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Informativos
História da Computação
Limitações do processo computacional
Hierarquia de Chomsky
Hierarquia de Complexidade
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Informativos
História da Computação
Limitações do processo computacional
Hierarquia de Chomsky
Hierarquia de Complexidade
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Objetivos do Curso
Formativos
Projetar Gramáticas para Especificar Linguagens
Projetar Autômatos para Reconhecer Linguagens
Classificar Linguagens Formais em função dos seus
reconhecedores/gramáticas
Entender o papel do não-determinismo na computação
Informativos
História da Computação
Limitações do processo computacional
Hierarquia de Chomsky
Hierarquia de Complexidade
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
3/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
Linguagens Formais, seus Geradores e Aceitadores
Noções Básicas: alfabetos, palavras, concatenação,
linguagens formais
Operações com linguagens
Gramáticas, Derivação, Linguagem definida por gramática
Linguagens Regulares e Autômatos Finitos
Linguagens Livres de Contexto e Autômatos de Pilha
Linguagens Sensíveis ao Contexto e ALLs
Linguagens Tipo 0 e Máquinas de Turing
Noções de Computabilidade
Noções de Complexidade Computacional
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
A Hierarquia de Chomsky: Linguagens
Tipo 0
Decidíveis
Sens. Contexto
Livres de Contexto
Regulares
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Programa da Disciplina
A Hierarquia de Chomsky: Autômatos
Maq. Turing D/ND
Auto. Linear Limitado ND
Auto. Linear Limitado D
Auto. Pilha ND
Auto. Pilha D
Auto. Finito D/ND
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
4/6
Bibliografia
+ T EXTO Paulo Blauth Menezes, Linguagens Formais e
Autômatos, Ed. Sagra Luzatto, 2000.
+ R EFERÊNCIA J. Hopcroft, Introduction to Automata Theory,
Languages and Computation, Addison-Wesley, 1979
+ E DIÇÃO ATUAL J. Hopcroft, Rajeev Motwani and Jeffrey D.
Ullman, Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 3rd ed. 2006
+ C OMPLEMENTAR www.tecmf.inf..puc-rio.br, Apostila do Prof. José
Lucas Rangel.
+ C OMPLEMENTAR www.tecmf.inf.puc-rio.br, Notas
Complementares e Material Suplementar.
+ PÁGINA DO C URSO Exercícios, Trabalhos a serem realizados no
curso
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
5/6
Bibliografia
+ T EXTO Paulo Blauth Menezes, Linguagens Formais e
Autômatos, Ed. Sagra Luzatto, 2000.
+ R EFERÊNCIA J. Hopcroft, Introduction to Automata Theory,
Languages and Computation, Addison-Wesley, 1979
+ E DIÇÃO ATUAL J. Hopcroft, Rajeev Motwani and Jeffrey D.
Ullman, Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 3rd ed. 2006
+ C OMPLEMENTAR www.tecmf.inf..puc-rio.br, Apostila do Prof. José
Lucas Rangel.
+ C OMPLEMENTAR www.tecmf.inf.puc-rio.br, Notas
Complementares e Material Suplementar.
+ PÁGINA DO C URSO Exercícios, Trabalhos a serem realizados no
curso
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
5/6
Bibliografia
+ T EXTO Paulo Blauth Menezes, Linguagens Formais e
Autômatos, Ed. Sagra Luzatto, 2000.
+ R EFERÊNCIA J. Hopcroft, Introduction to Automata Theory,
Languages and Computation, Addison-Wesley, 1979
+ E DIÇÃO ATUAL J. Hopcroft, Rajeev Motwani and Jeffrey D.
Ullman, Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 3rd ed. 2006
+ C OMPLEMENTAR www.tecmf.inf..puc-rio.br, Apostila do Prof. José
Lucas Rangel.
+ C OMPLEMENTAR www.tecmf.inf.puc-rio.br, Notas
Complementares e Material Suplementar.
+ PÁGINA DO C URSO Exercícios, Trabalhos a serem realizados no
curso
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
5/6
Bibliografia
+ T EXTO Paulo Blauth Menezes, Linguagens Formais e
Autômatos, Ed. Sagra Luzatto, 2000.
+ R EFERÊNCIA J. Hopcroft, Introduction to Automata Theory,
Languages and Computation, Addison-Wesley, 1979
+ E DIÇÃO ATUAL J. Hopcroft, Rajeev Motwani and Jeffrey D.
Ullman, Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 3rd ed. 2006
+ C OMPLEMENTAR www.tecmf.inf..puc-rio.br, Apostila do Prof. José
Lucas Rangel.
+ C OMPLEMENTAR www.tecmf.inf.puc-rio.br, Notas
Complementares e Material Suplementar.
+ PÁGINA DO C URSO Exercícios, Trabalhos a serem realizados no
curso
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
5/6
Bibliografia
+ T EXTO Paulo Blauth Menezes, Linguagens Formais e
Autômatos, Ed. Sagra Luzatto, 2000.
+ R EFERÊNCIA J. Hopcroft, Introduction to Automata Theory,
Languages and Computation, Addison-Wesley, 1979
+ E DIÇÃO ATUAL J. Hopcroft, Rajeev Motwani and Jeffrey D.
Ullman, Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 3rd ed. 2006
+ C OMPLEMENTAR www.tecmf.inf..puc-rio.br, Apostila do Prof. José
Lucas Rangel.
+ C OMPLEMENTAR www.tecmf.inf.puc-rio.br, Notas
Complementares e Material Suplementar.
+ PÁGINA DO C URSO Exercícios, Trabalhos a serem realizados no
curso
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
5/6
Bibliografia
+ T EXTO Paulo Blauth Menezes, Linguagens Formais e
Autômatos, Ed. Sagra Luzatto, 2000.
+ R EFERÊNCIA J. Hopcroft, Introduction to Automata Theory,
Languages and Computation, Addison-Wesley, 1979
+ E DIÇÃO ATUAL J. Hopcroft, Rajeev Motwani and Jeffrey D.
Ullman, Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 3rd ed. 2006
+ C OMPLEMENTAR www.tecmf.inf..puc-rio.br, Apostila do Prof. José
Lucas Rangel.
+ C OMPLEMENTAR www.tecmf.inf.puc-rio.br, Notas
Complementares e Material Suplementar.
+ PÁGINA DO C URSO Exercícios, Trabalhos a serem realizados no
curso
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
5/6
Avaliação
+ Três Provas (P1 , P2 , P3 ), testes “supresa” e/ou trabalho, e,
eventual P4 .
+ Três Grupos de notas (G1 , G2 eG3 ). Sendo MTi a média dos testes
do período correspondente:
Gi = Max(Pi , MTi × 0.3 + Pi × 0.7)
Se houver trabalho:
G3 = Max( Max(P3 , MT3 × 0.3 + P3 × 0.7)
(Max(P3 , MT3 × 0.3 + P3 × 0.7)) × 0.6 + Trab × 0.4)
+ As 3 notas Gi , i = 1, 3 são usadas no cálculo da média, segundo
critério do DAR com eventual necessidade de P4 .
Prof. Edward Hermann Haeusler (PUC-Rio ) Linguagens Formais e Autômatos Linguagens e Máquinas
Departamento
INF1626
de Informática
e INF1302
6/6