cicada-lang/mugda

An implementation of the mugda paper

Language: TypeScript - Size: 2.99 MB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 2

dragoncoder047/thuepaste

Determining the probability of a Thue program halting.

Language: JavaScript - Size: 198 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

artisan1218/Turing-Machine

Java implementation of DFA(Deterministic Finite Automata) and Turing Machine

Language: Java - Size: 30.3 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

JestVA/shakespeare-script

Experiment around natural language and random UTF encoded streams

Language: JavaScript - Size: 7.09 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

lhleonardo/ufla-teoria-computacao-trabalho_final

Heurística para solução do problema da parada.

Language: Python - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

Ruso37/Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

Language: Python - Size: 9.77 KB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

Shweta31410/Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

Language: Python - Size: 5.86 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

tadiusfrank2001/CS101-Theory-of-Computation-and-Languages

Investigate models of computation, formal languages, and computability in Haskell

Language: Haskell - Size: 1.87 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Mehrab-Kalantari/Busy-Beaver-Problem

An explanation of busy beaver problem with samples and codes

Language: Python - Size: 7.49 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

Thierry-Dumont/Turing_meets_Python_and_Julia

Halting Theorem (Théorème de l'Arrêt) de Turing en Python et en Julia.

Language: Jupyter Notebook - Size: 84 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

nshiell/php-halting-problem-proof-by-contradiction

Language: PHP - Size: 1000 Bytes - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0