Mudanças entre as edições de "Material de scc605(sandra)"
| Linha 37: | Linha 37: | ||
* 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: | ||
| − | + | 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} | + | L = {ww | w in {a,b}+} e L = {0^(2n) | n >= 0} |
| Linha 57: | Linha 57: | ||
* '''Exercícios Resolvidos MT: '''[[Media:ex_resol_MT_2011.pdf]] | * '''Exercícios Resolvidos MT: '''[[Media:ex_resol_MT_2011.pdf]] | ||
| + | |||
| + | * '''(24/5/2011) - Análise Semântica 1 '''[[Media:ASem 1_2011.pdf]] | ||
| + | |||
''Voltar para [[Scc-605(sandra)]]'' | ''Voltar para [[Scc-605(sandra)]]'' | ||
Edição das 19h01min de 24 de maio 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_2011.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
Voltar para Scc-605(sandra)
