Mudanças entre as edições de "Material de scc605(sandra)"

De CoteiaWiki
m (Protegeu "Material de scc605(sandra)" ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [p. progressiva])
 
(53 revisões intermediárias pelo mesmo usuário não estão sendo mostradas)
Linha 1: Linha 1:
−
* '''(22/2/2010) - Apresentação do Curso:'''[[Media:Apres_Curso_2010.pdf]]
+
* '''(22/2/2011) - Apresentação do Curso:'''[[Media:Apres_Curso_SCC_605_2011.pdf]]
−
* '''(22/2/2010) - Visão Geral da Teoria das Linguagens Formais e Autômatos e de Compiladores:''' [[Media:aula1_LFA_Compiladores2010.pdf]]
+
* '''(22/2/2011) - Visão Geral da Teoria das Linguagens Formais e Autômatos e de Compiladores:''' [[Media:aula1_LFA_Compiladores2011.pdf]]
−
* '''(23/2/2010) - Visão Geral da Teoria da Computabilidade:'''[[Media:aula1_T_Comp_2010.pdf]]
+
* '''(25/2/2011) - Visão Geral da Teoria da Computabilidade:'''[[Media:aula1_T_Comp_2011.pdf]]
−
* '''(1/3/2010) - Gramática 0:'''[[Media:gramatica0.pdf]]
+
* '''(25/2/2011) - Gramáticas 0:'''[[Media:gramatica0_2011.pdf]]
−
* '''(1/3/2010) - Gramática 1:'''[[Media:gramatica1.pdf]]
+
* '''(1/3/2011) - Gramáticas 1:'''[[Media:gramatica1_2011.pdf]]
−
* '''(2/3/2010) - Exercícios Resolvidos de Gramáticas:'''[[Media:exer_resolvidos_G.pdf]]
+
* '''(1/3/2011) - Exercícios Resolvidos de Gramáticas:'''[[Media:exer_resolvidos_G_2011.pdf]]
−
* '''(2/3/2010) - Gramática 2:'''[[Media:gramatica2.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)]]''
 
''Voltar para [[Scc-605(sandra)]]''

Edição atual tal como às 22h44min de 8 de junho de 2011

  • 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


Voltar para Scc-605(sandra)

Disponível em "http://wiki.icmc.usp.br/index.php?title=Material_de_scc605(sandra)&oldid=17356"