Arquivo:Notas SCC 205 2011 7 12.rar

2011-12-07T21:43:53Z

Sandra:

Scc-205(sandra)B

2011-12-07T21:43:22Z

Sandra: /* Notas */

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Média FINAL e FREQUÊNCIAS disponível. Houve reprovação por FALTAS. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

-- Prova 1 até aqui

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2 [[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

#- 13/10 MT 3 [[Arquivo:MT3_SCC_205_2011.pdf]]
#- 13/10 Alguns Exercícios Resolvidos sobre MT [[Arquivo:ex_resol_MT_SCC_205_2011.pdf]]

Teoria da Computabilidade: slides de suporte http://www.cs.virginia.edu/~evans/cs302/classes/

# - 1/11 MT4 [[Arquivo:MT4_2011.pdf]]
# - 8/11 Problemas Indecidíveis e Parcialmente Decidíveis [[Arquivo:ind_dec_SCC_205_2011.pdf]]

# - 17/11 Teoria da Complexidade: as classes P, NP, co-NP e NP completas [[Arquivo:complex_tempo_SCC_205_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

# - 8/11 Lista 4 [[Arquivo:Lista_4_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

#- Notas Prova 2 [[Arquivo:P2_SCC_205.pdf]]

#- Notas Prova 3 [[Arquivo:SCC_205_2011_P3.pdf]]

#- Notas da SUB [[Arquivo:SCC_205_Notas_2011.pdf]]

#- MÉDIA FINAL e FREQUÊNCIAS [[Arquivo:Notas_SCC_205_2011_7_12.rar]]

Scc-205(sandra)B

2011-12-07T21:41:36Z

Sandra: /* Avisos: REC dia 13/2/2012 das 14-16 h SALA a confirmar. */

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Média FINAL e FREQUÊNCIAS disponível. Houve reprovação por FALTAS. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

-- Prova 1 até aqui

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2 [[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

#- 13/10 MT 3 [[Arquivo:MT3_SCC_205_2011.pdf]]
#- 13/10 Alguns Exercícios Resolvidos sobre MT [[Arquivo:ex_resol_MT_SCC_205_2011.pdf]]

Teoria da Computabilidade: slides de suporte http://www.cs.virginia.edu/~evans/cs302/classes/

# - 1/11 MT4 [[Arquivo:MT4_2011.pdf]]
# - 8/11 Problemas Indecidíveis e Parcialmente Decidíveis [[Arquivo:ind_dec_SCC_205_2011.pdf]]

# - 17/11 Teoria da Complexidade: as classes P, NP, co-NP e NP completas [[Arquivo:complex_tempo_SCC_205_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

# - 8/11 Lista 4 [[Arquivo:Lista_4_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

#- Notas Prova 2 [[Arquivo:P2_SCC_205.pdf]]

#- Notas Prova 3 [[Arquivo:SCC_205_2011_P3.pdf]]

#- Notas da SUB [[Arquivo:SCC_205_Notas_2011.pdf]]

Arquivo:SCC 205 Notas 2011.pdf

2011-12-05T00:52:50Z

Sandra:

Scc-205(sandra)B

2011-12-05T00:50:06Z

2011-11-17T16:29:50Z

Sandra:

Scc-205(sandra)B

2011-11-17T16:27:55Z

Sandra:

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre Teoria da Computabilidade e da Complexidade disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

-- Prova 1 até aqui

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2 [[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

#- 13/10 MT 3 [[Arquivo:MT3_SCC_205_2011.pdf]]
#- 13/10 Alguns Exercícios Resolvidos sobre MT [[Arquivo:ex_resol_MT_SCC_205_2011.pdf]]

Teoria da Computabilidade: slides de suporte http://www.cs.virginia.edu/~evans/cs302/classes/

# - 1/11 MT4 [[Arquivo:MT4_2011.pdf]]
# - 8/11 Problemas Indecidíveis e Parcialmente Decidíveis [[Arquivo:ind_dec_SCC_205_2011.pdf]]

# - 17/11 Teoria da Complexidade: as classes P, NP, co-NP e NP completas [[Arquivo:complex_tempo_SCC_205_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

# - 8/11 Lista 4 [[Arquivo:Lista_4_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

2011-10-13T15:53:17Z

Sandra:

Scc-205(sandra)B

2011-10-13T15:52:49Z

Sandra:

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

-- Prova 1 até aqui

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2 [[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

#- 13/10 MT 3 [[Arquivo:MT3_SCC_205_2011.pdf]]
#- 13/10 Alguns Exercícios Resolvidos sobre MT [[Arquivo:ex_resol_MT_SCC_205_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Scc-205(sandra)B

2011-10-13T15:51:00Z

Sandra:

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

-- Prova 1 até aqui

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2 [[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

#- 13/10 MT 3 [[Arquivo:MT3_SCC_205_2011.pdf]]
#- 13/10 Alguns Exercícios Resolvidos sobre MT [[Arquivo:ex_resol_MT_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Scc-205(sandra)B

2011-10-12T16:46:58Z

Sandra:

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

-- Prova 1 até aqui

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2[[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Scc-205(sandra)B

2011-10-12T16:44:34Z

Sandra: /* Aula a aula: */

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

== Prova 1 até aqui ====

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2[[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Arquivo:Pumping Lema LLC jogo.pdf

2011-10-12T16:43:53Z

Sandra:

Arquivo:Pumping Lema LLC prova.pdf

2011-10-12T16:43:34Z

Sandra:

Arquivo:MT2 SCC 205 2011.pdf

2011-10-12T16:42:54Z

Sandra:

Scc-205(sandra)B

2011-10-12T16:42:12Z

Sandra: /* Aula a aula: */

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2[[Arquivo:MT2_SCC_205_2011.pdf]]
#- 11/10 Pumping Lemma para LLC - PROVA [[Arquivo:Pumping_Lema_LLC_prova.pdf]]
#- 11/10 Pumping Lemma para LLC - JOGO no JFLAP [[Arquivo:Pumping_Lema_LLC_jogo.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Scc-205(sandra)B

2011-10-12T16:13:03Z

Sandra:

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

#- 11/10 MT 2[[Arquivo:MT2_SCC_205_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Scc-205(sandra)B

2011-10-10T21:36:22Z

Sandra:

=== SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B) ===

* Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h

* Profa. '''Sandra Aluisio'''; sandra [arroba] icmc.usp.br; Sala: 4-208

=== Material de Referência ===

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

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]

=== LIVROS TEXTOS ===

* Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010.
* Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
* Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
* Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
* Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
* Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
* Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

=== BIBLIOGRAFIA COMPLEMENTAR ===

* Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
* Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
* Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
* Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
* Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
* Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
* Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
* Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
* Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
* Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

=== Avisos: Listas de Exercícios sobre ACP, ALL e MTuring disponível. ===

=== Avaliação: ===

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores)

Média Final = (P1 + P2 + P3) / 3

=== Frequência: ===

Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).

=== Aula a aula: ===

#- 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso [[Arquivo:Apres_Curso_SCC_205_2011.pdf]]
#- 2/8 Visão Geral da Teoria das LF e Automatos: [[Arquivo:aulaT_LFA_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Complexidade [[Arquivo:aulaT_Complex_2011.pdf]]
#- 4/8 Visão Geral da Teoria da Computabilidade [[Arquivo:aulaT_Comp_2011.pdf]]

#- 9/8 Gramáticas 0 [[Arquivo:gramatica0_SCC_205.pdf]]
#- 11/8 Gramáticas 1 [[Arquivo:gramatica1_SCC_205.pdf]]

#- 16/8 Gramáticas 2 [[Arquivo:gramatica2_SCC_205.pdf]]
#- 16/8 Exercícios Resolvidos de Gramáticas [[Arquivo:exer_resolvidos_G_SCC_205.pdf]]
#- 18/8 Gramáticas 3 [[Arquivo:gramatica3_205.pdf]]

#- 23/8 Gramáticas 4 [[Arquivo:gramatica4_205.pdf]]
#- 23/8 Exercícios Resolvidos de Gramáticas Ambíguas [[Arquivo:exer_resolvidos_GLC_205.pdf]]

#- 25/8 Autômatos Finitos Determinísticos (AFD) [[Arquivo:aut1.pdf]]

#- 30/8 Autômatos Finitos Não Determinísticos (AFND) [[Arquivo:aut2.pdf]]
#- 30/8 Autômatos Finitos ND com movimentos Nulos (AFND-lambda) [[Arquivo:aut3_SCC_205_2011.pdf]]
#- 30/8 Exercícios Resolvidos sobre Autômatos [[Arquivo:exer_resolvidos_A.pdf]]

#- 1/9 Expressões Regulares [[Arquivo:ER1_205_2011_.pdf]]
#- Vejam soluções do livro do H,M,U, 2001: http://infolab.stanford.edu/~ullman/ialcsols/sols.html

#- 15/9 Operações Fechadas sobre LR [[Arquivo:aut4.pdf]]

#- 27/9 Expressões Regulares 2 [[Arquivo:ER2_205_2011.pdf]]
#- 27/9 Lema do Bombeamento LR [[Arquivo:LB_2011.pdf]]

#- 29/9 ACP 1[[Arquivo:ACP_parte1_2011.pdf]]

#- 4/10 ACP 2[[Arquivo:ACP_parte2_SCC_205_2011.pdf]]
#- 6/10 MT 1[[Arquivo:MT1_SCC_205_2011.pdf]]

=== Listas de Exercícios ===

#- 16/8 Lista 1 [[Arquivo:Lista_1_205.pdf]]

#- 25/8 Lista 2 [[Arquivo:Lista_2_205.pdf]]

#- 10/10 Lista 3 [[Arquivo:Lista_3_205.pdf]]

=== Notas ===

#- Notas Prova 1 [[Arquivo:P1_SCC 205.pdf]]

Arquivo:LB 2011.pdf

2011-09-27T19:58:53Z

Sandra: