Mudanças entre as edições de "Scc-205(sandra)"
(→Aula a aula (slides):) |
(→Links no MERLOT:) |
||
| Linha 88: | Linha 88: | ||
Material de Apoio do Livro Texto de Ramos, Neto & Vega, 2009 (Linguagens Formais: Teoria, Modelagem e implementação): [http://www.univasf.edu.br/~marcus.ramos/livro-lfa/index.html] | Material de Apoio do Livro Texto de Ramos, Neto & Vega, 2009 (Linguagens Formais: Teoria, Modelagem e implementação): [http://www.univasf.edu.br/~marcus.ramos/livro-lfa/index.html] | ||
| − | === <font color = "green"> Links no MERLOT | + | === <font color = "green"> Links no MERLOT </font> === |
| + | |||
| + | Prova 1: | ||
| + | |||
3/9: Gramáticas: definições e a Hierarquia de Chomsky | 3/9: Gramáticas: definições e a Hierarquia de Chomsky | ||
| Linha 119: | Linha 122: | ||
http://contentbuilder.merlot.org/toolkit/users/gilaraujo/lexnxre | http://contentbuilder.merlot.org/toolkit/users/gilaraujo/lexnxre | ||
| + | |||
| + | Prova 2: | ||
| + | |||
| + | Máquinas de Turing com Múltiplas Fitas: | ||
| + | http://contentbuilder.merlot.org/toolkit/users/dannycanuta/multitapesturingmachine | ||
| + | |||
| + | Procedimentos & Algoritmos - Tese de Church-Turing | ||
| + | http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=74454342829487 | ||
| + | |||
| + | Máquinas de Turing com Fita Limitada (Autômatos limitados linearmente) | ||
| + | http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=4401969476046&id=99966187868236 | ||
| + | |||
| + | Máquina de Turing Determinística | ||
| + | http://contentbuilder.merlot.org/toolkit/users/cchagas/mtd | ||
| + | |||
| + | Formas Normais & ACP Não Determinísticos | ||
| + | http://contentbuilder.merlot.org/toolkit/users/fnormais/tema14 | ||
| + | |||
| + | Automatos com pilha determinístico e não-determinísticos | ||
| + | http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=82839271596483 | ||
| + | |||
| + | Árvores de Derivação e Ambigüidade em Linguagens Livre de Contexto | ||
| + | http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=33425235872553&id=5300135868881 | ||
=== <font color = "green"> Listas de Exercícios </font> === | === <font color = "green"> Listas de Exercícios </font> === | ||
Edição das 01h09min de 28 de outubro de 2010
No Jupiter-web: [ementa]
Índice
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:
Não haverá aula nesta sexta, 15/10, pois estarei em reunião na reitoria da USP. Lista 3 disponível (ACP, ALL e MT).
MUDANÇAS: (1) a PROVA 2 será no dia 9/11, devido a feriados em São Carlos. (2) Teremos aula no dia 23/11 ENTÃO o Tema 24 (Máquina de Turing Universal) vai ser apresentado dia 26/11 e o Tema 29 (Análise de Algoritmos e o comportamento Assintótico de Funções) no dia 30/11.
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
Aula 11 (28/9): Arquivo:ACP parte1 2010.pdf
Aula 12 (01/10): Arquivo:ACP parte2 2010.pdf
Aula 13 (05/10): Arquivo:Gramatica 3.pdf Aula 13 (05/10): Arquivo:Gramatica 4.pdf Aula 13 (05/10): Arquivo:Exer resolvidos GLC.pdf
Aula 14 (08/10): Arquivo:MT1 2010.pdf
Aula 15 (19/10): Arquivo:MT2 2010.pdf Aula 15 (19/10): Arquivo:MT3 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)
- MUDANÇA: a PROVA 2 será no dia 9/11, devido a feriados em São Carlos.
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.
- Datas de apresentações:
- 3/9 e 14/9 7 APRESENTAÇÕES: Arquivo:Trab MERLOT Prova1.pdf
- 22 e 26/10 7 APRESENTAÇÕES: Arquivo:Trab MERLOT Prova2.pdf
- 23, 26 e 30/11 9 APRESENTAÇÕES: Arquivo:Trab MERLOT Prova3 Rev.pdf
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
Prova 1:
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
Prova 2:
Máquinas de Turing com Múltiplas Fitas: http://contentbuilder.merlot.org/toolkit/users/dannycanuta/multitapesturingmachine
Procedimentos & Algoritmos - Tese de Church-Turing http://contentbuilder.merlot.org/toolkit/html/snapshot.php?id=74454342829487
Máquinas de Turing com Fita Limitada (Autômatos limitados linearmente) http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=4401969476046&id=99966187868236
Máquina de Turing Determinística http://contentbuilder.merlot.org/toolkit/users/cchagas/mtd
Formas Normais & ACP Não Determinísticos http://contentbuilder.merlot.org/toolkit/users/fnormais/tema14
Automatos com pilha determinístico e não-determinísticos http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=82839271596483
Árvores de Derivação e Ambigüidade em Linguagens Livre de Contexto http://contentbuilder.merlot.org/toolkit/html/stitch.php?s=33425235872553&id=5300135868881
Listas de Exercícios
LISTA 1: Arquivo:Lista 1 205.pdf
LISTA 2: Arquivo:Lista 2 205.pdf
LISTA 3: Arquivo:Lista3 205.pdf
Notas
Notas da P1: Arquivo:P1 SCC 205 2010.pdf
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
