#

linear-bounded-automaton

Here are 5 public repositories matching this topic...

obinexus / cfd

CFD - Probabilistic Symbolic Feedback Architecture for Computational Fluid Dynamics Verification through Automaton-Based Base Case Analysis. OBINexus Computing Aegis Project milestone addressing Clay Institute-level mathematical challenges in CFD stochastic chaos through equilibrium wave configuration verification.

navier-stokes computational-fluid-dynamics mathematical-modeling linear-bounded-automaton waterfall-methodology automaton-theory trust-modulation verification-framework obinexus-computing cfd-verification base-case-analysis equilibrium-detection obiaxis-research stochastic-chaos probabilistic-feedback clay-institute-problems graduated-collision-response sinphase-governance nasa-std-compliance

Updated Jun 7, 2025

vadyushkins / pctm

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

Arithmetic expressions language checker: unary multiplication

grammars turing-machine linear-bounded-automaton

Updated Nov 27, 2020
Python

biface / automata

Another implementation of Finite State Machine and extensions for Django context.

python3 turing-machine automata-simulator linear-bounded-automaton

Updated Jan 12, 2025
Python

LexLoki / pybdm-lba

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

Improve this page

Add a description, image, and links to the linear-bounded-automaton topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the linear-bounded-automaton topic, visit your repo's landing page and select "manage topics."