Fundamentos de Teoria da Computação

Esse repositório contém o material para a disciplina de Fundamentos de Teoria da Computação, para o semetre de 2021-1.

Gerando os slides

Os slides da disciplinas são produzidos utilizando o pandoc. Além do pandoc, são necessários os seguintes softwares:

  • Uma distribuição do LaTeX com o pacote TikZ.
  • O software pdf2svg para converter arquivos pdf em imagens svg.
  • Um interpretador da linguagem Lua para executar um filtro pandoc.