the automata-lab project is a implements various automata, including DFA, NFA,DPDA.
-
Updated
Feb 10, 2023 - Python
#
computing-theory
Here are 4 public repositories matching this topic...
Advanced computing theory course project of University of Tehran (Master degree)
computing-theory davis-language s-language s-language-decoder universal-function universal-program s-language-godel-number-decoder
-
Updated
Jan 30, 2023 - Python
Informational Repo covering the Satisfiability of formulas in 3 Conjunctive Normal Form. Includes Demos of solving algorithms, and detailed analysis.
-
Updated
Jan 9, 2025 - Python
Analisador de expressões matemáticas
-
Updated
Jul 13, 2025 - Python
Improve this page
Add a description, image, and links to the computing-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the computing-theory topic, visit your repo's landing page and select "manage topics."