Mudanças entre as edições de "Scc-205(sandra)"

De CoteiaWiki
(Links e referências)
(Links no MERLOT:)
Linha 82: Linha 82:
 
3/9: Autômatos Finitos Não-Determinísticos e a Equivalência entre Autômatos Finitos Não-Determinísticos e Autômatos Finitos Determinísticos
 
3/9: Autômatos Finitos Não-Determinísticos e a Equivalência entre Autômatos Finitos Não-Determinísticos e Autômatos Finitos Determinísticos
 
http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=5749174697091
 
http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=5749174697091
 +
 +
 +
14/9: Operações Fechadas sobre LR
 +
 +
http://contentbuilder.merlot.org/toolkit/users/tts/operacoesfechadas
 +
 +
14/9: Autômatos Finitos com Movimentos Vazios & Equivalência entre Gramática Regular e Autômato Finito
 +
 +
http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=9809792106794
 +
 +
14/9: Lema do Bombeamento
 +
 +
http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=57516836801094
 +
 +
14/9: Utilitário LEX e ERs estendidas
 +
 +
http://contentbuilder.merlot.org/toolkit/users/gilaraujo/lexnxre
  
 
=== <font color = "green"> Listas de Exercícios </font> ===
 
=== <font color = "green"> Listas de Exercícios </font> ===

Edição das 21h10min de 14 de setembro de 2010

No Jupiter-web: [ementa]

SCC-205 - Teoria da Comp. e Linguagens Formais (BCC-B)

  • Local: Sala (5004) - Horário: Ter. 08:10/09:50 e Sex. 10:10/11:50
    • Atendimento da Profa. Sandra Aluisio: via e-mail: sandra [arroba] icmc.usp.br; presencial: Sala: 4-208 nas quintas das 14:00 - 17:00
    • Monitora: Carolina Scarton; carol.scarton [arroba] gmail.com; quartas das 16:00-18:00 no NILC.

Avisos:

Grupos: Links das apresentações já realizadas já estão disponíveis no link "Links no MERLOT".

Enviem o link do MERLOT para a profa (sandra@icmc.usp.br) 1 semana antes da apresentação.

Lista 1 e 2 disponíveis no Link LISTAS.

Data de Início das aulas: 03/agosto.

Aula a aula (slides):

Aula 1 (3/8): Arquivo:SCC 205 Apres Curso 2010.pdf

Aula 1 (3/8): Arquivo:Aula1 Visão Geral LFA 2010.pdf

Aula 2, Aula 3 (6 e 10/8): Arquivo:Gramatica0 2010.pdf

Aula 3 (10/8): Arquivo:Apresentação do MERLOT Content Builder.pdf

Aula 4 (13/8): Arquivo:Gramatica1 2010.pdf

Aula 5 (17/8): Arquivo:Gramatica2 2010.pdf

Aula 5 (17/8): Arquivo:Exer resolvidos G 2010.pdf

Aula 6 (20/8): Arquivo:Aut 1 2010.pdf

Aula 6 (20/8): Arquivo:Aut 2 2010.pdf

Aula 7 (24/8): Arquivo:Aut 3 2010.pdf

Aula 8 (27/8): Arquivo:Aut 4 2010.pdf

Aula 8 (27/8): Arquivo:Exer resolvidos A 2010.pdf

Aula 8 (27/8): Arquivo:LB 2010.pdf

Aula 9 (31/8): Arquivo:ER1 2010.pdf

Aula 9 (31/8): Arquivo:ER2 2010.pdf

Aula 10 (03/9): Arquivo:Minimização AF 2010.pdf

Avaliação:

3 Provas com pesos 40%, 30% e 30%.

  • Datas: PROVA 1 (17/9); PROVA 2 (5/11); PROVA 3 (3/12)

Trabalhos Práticos: 1 trabalho prático e sua apresentação, feito em grupo de 2 alunos. O trabalho é a criação de um learning object a ser postado no site MERLOT (http://www.merlot.org/) da California State University.

Links e referências

Material de Apoio do Livro Texto de Ramos, Neto & Vega, 2009 (Linguagens Formais: Teoria, Modelagem e implementação): [1]

Links no MERLOT:

3/9: Gramáticas: definições e a Hierarquia de Chomsky

http://contentbuilder.merlot.org/toolkit/users/formais/formais


3/9: Sistemas de Estados Finitos e AF Determinísticos

http://contentbuilder.merlot.org/toolkit/users/MKE/afd


3/9: Autômatos Finitos Não-Determinísticos e a Equivalência entre Autômatos Finitos Não-Determinísticos e Autômatos Finitos Determinísticos http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=5749174697091


14/9: Operações Fechadas sobre LR

http://contentbuilder.merlot.org/toolkit/users/tts/operacoesfechadas

14/9: Autômatos Finitos com Movimentos Vazios & Equivalência entre Gramática Regular e Autômato Finito

http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=9809792106794

14/9: Lema do Bombeamento

http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=57516836801094

14/9: Utilitário LEX e ERs estendidas

http://contentbuilder.merlot.org/toolkit/users/gilaraujo/lexnxre

Listas de Exercícios

LISTA 1: Arquivo:Lista 1 205.pdf

LISTA 2: Arquivo:Lista 2 205.pdf

Notas

Regras para a REC:

Data da Prova Rec: ~15/12/10

Horário:

Local:

Nota Final (regra USP)

= Nota Anterior + (Nota Rec / 2.5); se Nota Rec >= 7.5 ; ou

= max(Nota Anterior, Nota Rec); se Nota Rec < 5.0 ; ou

= 5.0, se 5 <= Nota Rec < 7.5