Scc-205(sandra)B

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): [1]

Bibliografia Básica

• Hopcroft, J. E., Ullman, J. D. Formal Languages and Their Relation to Automata.

Addison-Wesley Publishing Company, 1979.

• Hopcroft, J. E., Ullman, J. D. and Motwani, R. Introdução à Teoria de Autômatos, Linguagens e Computação. Tradução da 2a. edição.

Editora Campus, 2001.

• Hopcroft, J. E., Motwani, R., and Ullman, J. D. Introduction to Automata Theory, Languages, and Computation.

3rd. edition. Addison-Wesley, 2007.

• Sipser, M. Introduction to the Theory of Computation. Second Edition, Thomson, 2006.
• Rosa, J.L.G. Linguagens Formais e Autômatos. LTC, 2010.

Avaliação:

3 Provas:

P1: 13 de setembro

P2: 18 de outubro

P3: 24 de novembro

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

Obs.: Haverá uma prova substitutiva, no dia 1o. de dezembro, que necessariamente substitui a menor nota das provas anteriores.

Frequência:

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

Aula a aula:

1. - 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso
2. - 4/8 Visão Geral das 3 Teorias tratadas no Curso – objetivos de estudo