INE5415

Trabalho 1: Simulando Máquinas

Trabalho 2: Correspondência de Post

Trabalho 3: Complexidade de Algoritmos

Nome: Lucas Tonussi

Ferramenta

• jFlap - http://www.cs.duke.edu/csed/jflap/
• Latex - http://www.latex-project.org/
• Wikipedia - http://en.wikipedia.org/
• Wikiproof - http://www.proofwiki.org/

Livros Textox

• Michael Sipser
• Newton José Vieira