Kleene's-Theorem-Proof
-
Updated
May 8, 2025 - Haskell
#
kleenes-theorem
Here are 2 public repositories matching this topic...
A coursework submission focused on topics such as finite state automata, kleene's theorem, pushdown automata, regular languages and regular expressions, reading and writing CFG's including Chomsky Normal Form and BNF, Pumping Lemma for CFG's and RE's and Turing Machines.
-
Updated
Mar 15, 2020
Improve this page
Add a description, image, and links to the kleenes-theorem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kleenes-theorem topic, visit your repo's landing page and select "manage topics."