Ferreira, A., 		Moreira, N., & 		Portella, L.
(2023).
 Sintaxe e semântica formais de "Máquinas de Post" como máquinas de estados finitos.
In <em>Anais do VII Workshop-Escola de Informática Teórica</em>, (pp. 111-119). Porto Alegre: SBC.
doi:10.5753/weit.2023.26604