Teoria da Computabilidade/Linguagens Formais (Pós Graduação - 21-1)

Essa disciplina está sendo ministrada em parceria com Celina Figueiredo e Fábio Botler (ambos do PESC/UFRJ), e sua página pode ser encontrada aqui.