Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
Tools for finding and analyzing Busy Beaver programs for Turing machines
Martin D. Davis book programming language written in python
Python implementations of a variety of extremely fast-growing functions
A prototype interpreter for code for a one-tape Turing machine.
Implementation of computable ordinals below the Small Veblen Ordinal
Program to convert a program encoding based on its Gödel number to 𝒮 Language (S Language) or convert an 𝒮 Language program to it's program number
Implementation of a model of computation - Register machine
Este projeto é um simulador de uma Máquina de Turing Reversível. Ele executa simulações de autômatos baseados em quíntuplas, que são convertidos em quádruplas para garantir reversibilidade lógica.
A simple program implementing NFA to DFA conversion. 一个实现NFA到DFA转换的简单程序。
Add a description, image, and links to the computability-theory topic page so that developers can more easily learn about it.
To associate your repository with the computability-theory topic, visit your repo's landing page and select "manage topics."