Teoria da Computação
Atenção:
- A segunda prova será realizada no dia 10/06, às 16:00hs.
- A prova final será realizada no dia 17/06, às 16:00hs.
- Os trabalhos deverão ser enviados para o meu endereço email até às 18:00hs do dia 13/06:
- Eu enviarei um email acusando o recebimento de cada trabalho;
- Se você não receber esse email no mesmo dia, favor verificar o endereço usado e tentar novamente.
- Sobre o trabalho:
- Deverá ser uma resenha crítica sobre um dos dois artigos discutidos em sala de aula;
- Isso significa que ele deve conter um pequeno resumo do artigo e, principalmente, a sua opinião crítica sobre os temas nele tratados e a forma como foram tratados;
- Além disso, ele deverá conter um resumo de alguma pesquisa adicional feita por você sobre o tema ou subtema relacionado;
- O trabalho é individual;
- O trabalho terá peso 25% na primeira nota. A nota da primeira prova terá peso 75%;
- Ele deverá conter pelo menos oito páginas inteiras de texto útil.
Período letivo 2011.1:
- Campus Juazeiro
- Quintas, das 14:00 às 16:00 hs, na sala 13
- Sextas, das 16:00 às 18:00 hs, na sala 15
- Sábados, das 16:00 às 18:00hs
- Programa da disciplina
- PUD
Simuladores:
- Máquina Norma
- Máquina de Post
- Máquina de Turing
- JFLAP - um simulador gráfico e interativo para experimentação com gramáticas, expressões regulares e autômatos:
- Download (renomeie para "JFLAP.jar" caso o seu S.O. modifique o nome para "JFLAP.zip")
- Site
Máquinas de Turing (salvar como .jff e depois abrir no JFLAP):
- \{ww^R | w \in {a,b}^*\} determinística, baixar
- \{ww | w \in {a,b}^*\} não-determinística, baixar
- \{a^ib^jc^k | i=j ou j=k\} não-determinística, baixar
- \{a^ib^j | i>=1, j>=i e j par\} determinística, baixar
- \{a^ib^j | i>1, j>=i e j par\} determinística, baixar
Slides:
Material complementar:
Avaliações: