Problemas de decisão em teoria de linguagens regulares - Hungulu, Gerson Benjamim (2019)
Dissertação de mestrado em Matemática e Computação