Mudanças entre as edições de "Material de scc605(sandra)"
De CoteiaWiki
| (4 revisões intermediárias pelo mesmo usuário não estão sendo mostradas) | |||
| Linha 34: | Linha 34: | ||
* '''(10/5/2011) - MT 1:'''[[Media:MT1_2011.pdf]] | * '''(10/5/2011) - MT 1:'''[[Media:MT1_2011.pdf]] | ||
* '''(13/5/2011) - MT 2 - AALs:'''[[Media:MT2_2011.pdf]] | * '''(13/5/2011) - MT 2 - AALs:'''[[Media:MT2_2011.pdf]] | ||
| − | * '''(20/5/2011) - MT 3 '''[[Media: | + | * '''(20/5/2011) - MT 3 '''[[Media:MT3.pdf]] |
* Soluções do Bruno Kim para a Lista de Exercícios sobre MT: | * Soluções do Bruno Kim para a Lista de Exercícios sobre MT: | ||
| Linha 58: | Linha 58: | ||
* '''(24/5/2011) - Análise Semântica 1 '''[[Media:ASem 1_2011.pdf]] | * '''(24/5/2011) - Análise Semântica 1 '''[[Media:ASem 1_2011.pdf]] | ||
| − | * '''(27/5/2011) - Análise Semântica 2 '''[[Media:ASem | + | * '''(27 e 31/5/2011) - Análise Semântica 2 '''[[Media:ASem 2_2011.pdf]] |
| + | * '''(3 e 7/6/2011) - Checagem de Tipos '''[[Media:aula_CT_SCC_605_2011.pdf]] | ||
| + | * '''(7/6/2011) - Problemas Indecidíveis e Parcialmente Indecidíveis '''[[Media:ind_e_dec_2011.pdf]] | ||
''Voltar para [[Scc-605(sandra)]]'' | ''Voltar para [[Scc-605(sandra)]]'' | ||
Edição atual tal como às 22h44min de 8 de junho de 2011
- (22/2/2011) - Apresentação do Curso:Media:Apres_Curso_SCC_605_2011.pdf
- (22/2/2011) - Visão Geral da Teoria das Linguagens Formais e Autômatos e de Compiladores: Media:aula1_LFA_Compiladores2011.pdf
- (25/2/2011) - Visão Geral da Teoria da Computabilidade:Media:aula1_T_Comp_2011.pdf
- (25/2/2011) - Gramáticas 0:Media:gramatica0_2011.pdf
- (1/3/2011) - Gramáticas 1:Media:gramatica1_2011.pdf
- (1/3/2011) - Exercícios Resolvidos de Gramáticas:Media:exer_resolvidos_G_2011.pdf
- (1/3/2011) - Gramáticas 2:Media:gramatica2_2011.pdf
- (4/3/2011) - Gramáticas 3:Media:gramatica_3_2011.pdf
- (11/3/2011) - Gramáticas 4:Media:gramatica_4_2011.pdf
- (11/3/2011) - Exercícios Resolvidos sobre Gramáticas Ambíguas:Media:exer_resolvidos_ambiguidade.pdf
- (15/3/2011) - ER:Media:ER1_2011.pdf
- (18/3/2011) - Autômatos Finitos Determinísticos:Media:aut1_2011.pdf
- (22/3/2011) - Autômatos Finitos Não Determinísticos:Media:aut2_2011.pdf
- (22/3/2011) - Exercícios Resolvidos de Autômatos finitos:Media:exer_resolvidos_A_2011.pdf
- (25/3/2011) - Autômatos Finitos com Movimentos Nulos:Media:aut3_2011.pdf
- (25/3/2011) - ER2:Media:ER2_2011.pdf
- (25/3/2011) - Conceitos Básicos sobre Compilação:Media:aula1_Conceitos_Basicos_SCC_605.pdf
- (29/3/2011) - Especificação da Linguagem Fonte:Media:aula2_Especificação_SCC_605.pdf
- (29/3/2011) - Análise Léxica:Media:aula3_A_Léxica_2011_SCC_605.pdf
- (1/4/2011) - Tutorial sobre Javacc com exemplo de uma calculadora:Media:javacc_SCC_605.rar
- (12/4/2011) - Autômatos com Pilha 1:Media:ACP_parte1_2011_.pdf
- (15/4/2011) - Autômatos com Pilha 2:Media:ACP_parte2_2011.pdf
- (26/4/2011) - Análise Sintática 1:Media:aula4_ASint1_SCC_605_2011.pdf
- (6/5/2011) - Análise Sintática 2:Media:aula5_ASint2_SCC_605_2011.pdf
- (6/5/2011) - Conceitos Básicos:Media:conceitos_basicos.pdf
- (10/5/2011) - MT 1:Media:MT1_2011.pdf
- (13/5/2011) - MT 2 - AALs:Media:MT2_2011.pdf
- (20/5/2011) - MT 3 Media:MT3.pdf
- Soluções do Bruno Kim para a Lista de Exercícios sobre MT:
Seguem anexas as máquinas de Turing que resolvem os problemas das linguagens
L = {ww | w in {a,b}+} e L = {0^(2n) | n >= 0}
Só relembrando: a ideia da máquina que resolve ww é 1) Marcar inicio (a -> X, b -> Y) 2) Alternadamente, encontrar o fim e o inicio da cadeia de a's e b's e substitui-los (a->A, b->B) 3) Uma vez encontrado o meio da cadeia, comparar a 2a. com a 1a. palavra, assegurando que são iguais (A->a, B->b) 4) Se alcançar um branco, escreve 1 e termina
A ideia da máquina que resolve 0^2n é 1) Marcar inicio (0 -> I) 2) Copiar a cadeia de I e Z's presente, duplicando a cadeia a cada iteração. Para isso, 2a) A primeira cadeia é escrita por I e A's (Z -> A); 2b) A segunda cadeia é escrita por B's (0 -> B); 2c) Ao fim da etapa, transforma A -> Z e B -> Z 3) Se alcançar um branco, escreve 1 ao final, substitui Z -> 0 e I -> 0, e termina
- Exercícios Resolvidos MT: Media:ex_resol_MT_2011.pdf
- (24/5/2011) - Análise Semântica 1 Media:ASem 1_2011.pdf
- (27 e 31/5/2011) - Análise Semântica 2 Media:ASem 2_2011.pdf
- (3 e 7/6/2011) - Checagem de Tipos Media:aula_CT_SCC_605_2011.pdf
- (7/6/2011) - Problemas Indecidíveis e Parcialmente Indecidíveis Media:ind_e_dec_2011.pdf
Voltar para Scc-605(sandra)
