Saudações! 👋🏽
Este repositório abriga o projeto de um simulador para as Máquinas de Registros Ilimitados, ou em inglês, Unlimited Register Machine (URM) construído usando a linguagem Java ☕. A implementação construída neste projeto se baseia na formalização das URM apresentadas no livro Computability: An Introduction to Recursive Function Theory 📖.
Note
Este projeto esta sendo desenvolvido junto com os alunos do curso DIM0116 de 2025.1. Logo ele ainda não está completo, e vai sofrer mudanças!