vadyushkins / pctm Star 0 Code Issues Pull requests Primality Check Turing Machine turing-machine primality-test primality-check unrestricted-grammar context-sensitive-grammar linear-bounded-automaton Updated Dec 2, 2020 Python
SmirnovOleg / bmw Star 0 Code Issues Pull requests Arithmetic expressions language checker: unary multiplication grammars turing-machine linear-bounded-automaton Updated Nov 27, 2020 Python
LexLoki / pybdm-lba Star 0 Code Issues Pull requests Python implementation of block decomposition method for approximating algorithmic complexity theory-of-computation kolmogorov-complexity algorithmic-information-theory algorithmic-complexity linear-bounded-automaton Updated Jul 29, 2024 Jupyter Notebook