Meu trabalho de conclusão de curso, em que estudei jeitos de fazer uma máquina de Turing não-determinística computar uma função.
O trabalho ficou entre os três melhores colocados no 35º Concurso de Trabalhos de Iniciação Científica, do CSBC 2016. A publicação está disponível em http://ebooks.pucrs.br/edipucrs/anais/csbc/assets/2016/ctic/01.pdf.