zambonin/entscheidbar
Implementations and reports on the CYK algorithm, a simplified halting problem, and Turing-equivalent computational models.
TeXGPL-3.0
Implementations and reports on the CYK algorithm, a simplified halting problem, and Turing-equivalent computational models.
TeXGPL-3.0