http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Teoria_da_Computa%C3%A7%C3%A3o 2026-04-10T00:25:18Z Histórico de revisões para esta página nesta wiki MediaWiki 1.18.1 http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=3706&oldid=prev 2010-06-21T20:02:14Z

<p><span class="autocomment">Bibliografia básica</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 20h02min de 21 de junho de 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 22:</td> <td colspan="2" class="diff-lineno">Linha 22:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">=== Bibibliografia Complementar ===</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* GURARI, Eitan. '''An Introduction to the Theory of Computation'''. Computer Science Press, 1989. Disponível em: &lt;http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html&gt;. Acesso em: 21 junho 2010.</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Software ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Software ==</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:3658:newid:3706 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=3658&oldid=prev 2010-06-18T14:13:48Z

<p><span class="autocomment">Informações</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 14h13min de 18 de junho de 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 2:</td> <td colspan="2" class="diff-lineno">Linha 2:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Código da disciplina: IF65C</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Código da disciplina: IF65C</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* Cursos: [[Engenharia de Computação]] (5o. período) e [[Sistemas de Informação]] (3o. período)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* Cursos: [[Engenharia de Computação]] (5o. período) e [[<ins class="diffchange diffchange-inline">Bacharelado em </ins>Sistemas de Informação]] (3o. período)</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Oferecimentos ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Oferecimentos ==</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:3657:newid:3658 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=3657&oldid=prev 2010-06-18T14:13:38Z

<p><span class="autocomment">Informações</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 14h13min de 18 de junho de 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 2:</td> <td colspan="2" class="diff-lineno">Linha 2:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Código da disciplina: IF65C</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Código da disciplina: IF65C</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* Cursos: Engenharia de Computação (5o. período) e Sistemas de Informação (3o. período)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* Cursos: <ins class="diffchange diffchange-inline">[[</ins>Engenharia de Computação<ins class="diffchange diffchange-inline">]] </ins>(5o. período) e <ins class="diffchange diffchange-inline">[[</ins>Sistemas de Informação<ins class="diffchange diffchange-inline">]] </ins>(3o. período)</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Oferecimentos ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Oferecimentos ==</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=3656&oldid=prev 2010-06-18T14:13:23Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 14h13min de 18 de junho de 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">== Informações ==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* Código da disciplina: IF65C</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* Cursos: Engenharia de Computação (5o. período) e Sistemas de Informação (3o. período)</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Oferecimentos ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Oferecimentos ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=3646&oldid=prev 2010-06-18T13:36:23Z

<p><span class="autocomment">Objetivos</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 13h36min de 18 de junho de 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">== Oferecimentos ==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* [[Teoria da Computação - Turma S73 - 2010.1]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Objetivos ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Objetivos ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:3583:newid:3646 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=3583&oldid=prev 2010-06-11T14:21:44Z

<p><span class="autocomment">Bibliografia básica</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 14h21min de 11 de junho de 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 13:</td> <td colspan="2" class="diff-lineno">Linha 13:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">== Software ==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* [http://www.jflap.org/ JFLAP]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Referências ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Referências ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:655:newid:3583 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=655&oldid=prev 2008-10-13T13:47:18Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 13h47min de 13 de outubro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 10:</td> <td colspan="2" class="diff-lineno">Linha 10:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Bibliografia básica ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Bibliografia básica ==</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* </ins>Lewis, H.R.; Papadimitriou, C.H. &quot;Elementos de Teoria da Computação&quot;. 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 1. </del>Lewis, H.R.; Papadimitriou, C.H. &quot;Elementos de Teoria da Computação&quot;. 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* </ins>Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 2. </del>Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* </ins>Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 3. </del>Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline"> </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">== Bibliografia complementar ==</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline"> </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 1. Birkhoff, G.; MacLane, S. &quot;Álgebra Moderna Básica&quot;. Guanabara Dois, 4a. ed., 1980.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 2. Campello, R.E; Maculan, N. &quot;Algoritmos e Heurísticas&quot;. EDUFF, 1994.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 3. Diverio, T.A.; Menezes, P.F.B. &quot;Teoria da Computação&quot;, Sagra-Luzzato, 1999.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 4. Hopcroft, J.E.; Ullman, J.D. &quot;Introduction to Automata Theory, Languages and Computation&quot;. Addison-Wesley, 1979.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 5. Lewis, H.R.; Papadimitriou, C.H. &quot;Elements of the Theory of Computation&quot;. Prentice-Hall, 1981.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 6. Lucchesi, C; Simon, I; Simon, I; Simon,J; Kowaltowski, T. &quot;Aspectos Teóricos da Computação&quot;. 11o. Colóquio Brasileiro de Matemática, Impa, 1977.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 7. Menezes, P.F.B. &quot;Linguagens Formais e Autômatos&quot;, 3.ed., Sagra-Luzzato, 1999.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 8. Moret, B.M. &quot;The Theory of Computation&quot;. Addison-Wesley, 1998.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 9. Pin, J.e. &quot;Variétés de Langages Formels&quot;. Masson, 1984.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 10. Ross, K; Wright, C. &quot;Discrete Mathematics&quot;. Prentice-Hall, 1985.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&#160; 11. Sudkamp, T.A. &quot;Languages and Machines&quot;. Addison-Wesley, 1997.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">12.&#160; Van Leeuwen, J. (Editor). &quot;Handbook of Theoretical Computer Science&quot;, The MIT Press, 1990. Volumes A: Algorithms and complexity; Volume B: Formal models and semantics. </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">Outros recursos:</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline"> </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">JFLAP (Java Formal Language and Automata Package): www.jflap.org&#160; </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Referências ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Referências ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=654&oldid=prev 2008-10-13T13:46:46Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 13h46min de 13 de outubro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 7:</td> <td colspan="2" class="diff-lineno">Linha 7:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Tese de Church. Não-computabilidade. Complexidade Computacional.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Tese de Church. Não-computabilidade. Complexidade Computacional.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">== Bibliografia básica ==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 1. Lewis, H.R.; Papadimitriou, C.H. &quot;Elementos de Teoria da Computação&quot;. 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 2. Hopcroft, J.E.; Motwani, R.; Ullman, J.D.&quot;Introdução a Teoria de Autômatos, Linguagens e Computação&quot;. Campus, 2002, 584 p., ISBN: 8535210725.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 3. Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">== Bibliografia complementar ==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 1. Birkhoff, G.; MacLane, S. &quot;Álgebra Moderna Básica&quot;. Guanabara Dois, 4a. ed., 1980.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 2. Campello, R.E; Maculan, N. &quot;Algoritmos e Heurísticas&quot;. EDUFF, 1994.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 3. Diverio, T.A.; Menezes, P.F.B. &quot;Teoria da Computação&quot;, Sagra-Luzzato, 1999.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 4. Hopcroft, J.E.; Ullman, J.D. &quot;Introduction to Automata Theory, Languages and Computation&quot;. Addison-Wesley, 1979.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 5. Lewis, H.R.; Papadimitriou, C.H. &quot;Elements of the Theory of Computation&quot;. Prentice-Hall, 1981.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 6. Lucchesi, C; Simon, I; Simon, I; Simon,J; Kowaltowski, T. &quot;Aspectos Teóricos da Computação&quot;. 11o. Colóquio Brasileiro de Matemática, Impa, 1977.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 7. Menezes, P.F.B. &quot;Linguagens Formais e Autômatos&quot;, 3.ed., Sagra-Luzzato, 1999.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 8. Moret, B.M. &quot;The Theory of Computation&quot;. Addison-Wesley, 1998.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 9. Pin, J.e. &quot;Variétés de Langages Formels&quot;. Masson, 1984.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 10. Ross, K; Wright, C. &quot;Discrete Mathematics&quot;. Prentice-Hall, 1985.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&#160; 11. Sudkamp, T.A. &quot;Languages and Machines&quot;. Addison-Wesley, 1997.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">12.&#160; Van Leeuwen, J. (Editor). &quot;Handbook of Theoretical Computer Science&quot;, The MIT Press, 1990. Volumes A: Algorithms and complexity; Volume B: Formal models and semantics. </ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">Outros recursos:</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">JFLAP (Java Formal Language and Automata Package): www.jflap.org&#160; </ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Referências ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Referências ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=653&oldid=prev 2008-10-13T13:45:55Z

<p><span class="autocomment">Objetivos</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 13h45min de 13 de outubro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Objetivos ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Objetivos ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"> </del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Ementa ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Ementa ==</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&diff=652&oldid=prev 2008-10-13T13:45:45Z

<p>Nova página: == Objetivos == Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de s...</p> <p><b>Nova página</b></p><div><br /> == Objetivos ==<br /> <br /> Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações.<br /> <br /> <br /> <br /> == Ementa ==<br /> <br /> Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.<br /> Tese de Church. Não-computabilidade. Complexidade Computacional.<br /> <br /> == Referências ==<br /> <br /> [http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]</div>

Adolfo