halting-problem

There are 0 repository under halting-problem topic.

• cicada-lang / mugda

  An implementation of the mugda paper

  agdahalting-problemmugdatermination-checkingtype-checker
  Language:TypeScript 2

• artisan1218 / Turing-Machine

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

  dfadeterministic-finite-automataautomataautomata-simulatorturing-machine-simulatorturing-machinehalting-problemundecidability
  Language:Java 1

• dragoncoder047 / thuepaste

  Determining the probability of a Thue program halting.

  thuejavascriptprogramming-languagetooltoolsinterpreterhalting-problemthue-language
  Language:JavaScript 1

• JestVA / shakespeare-script

  Experiment around natural language and random UTF encoded streams

  turingcantordebroilleset-therorycomputabilityhalting-probleminfinite-stringshakespearemonkeys-can-typedigital-realityinformation-theoryautomatafinitestate-machinerealitybytesbinarynodejsstreams
  Language:JavaScript 1

• lhleonardo / ufla-teoria-computacao-trabalho_final

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

  turing-machineturing-machine-simulatorhalting-problempython3
  Language:Python 1

• Solidsoft-Reply / Halting-Problem

  A demonstration of the Halting Problem in C#.

  alan-turingcsharphalting-problem
  Language:C# 0

• Thierry-Dumont / Turing_meets_Python_and_Julia

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

  halting-problemjuliajupyterpythonturing
  Language:Jupyter Notebook 0

• MehrabKalantary / Busy-Beaver-Problem

  An explanation of busy beaver problem with samples and codes

  busy-beaverhalting-problemtheory-of-computationturing-machine
  Language:Python

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

  alan-turinghalting-problemhumorhumourmathmathematicsmathsphpproof-by-contradictionturing
  Language:PHP