turing
automata
turing | automata | |
---|---|---|
2 | 1 | |
37 | 312 | |
- | - | |
8.4 | 8.6 | |
6 months ago | about 2 months ago | |
Go | Python | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
turing
-
Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper
Hey all,
A while back I implemented Turing's "On Computable Numbers" paper [1], and decided that Schönfinkel's "On the Building Blocks of Mathematical Logic" would be a fun next one to try to implement.
Alongside the code I include a section-by-section guide to the paper. I apologize for any misreadings of the original text (of which there are probably many).
I'll probably continue to try to make guides/reference implementations for landmark CS papers, would love to hear what you think the most important ones are!
[1] https://github.com/planetlambert/turing
- Show HN: The first complete open source implementation of Turing's famous paper
automata
-
Python library for simulating finite automata
I recommend looking at https://github.com/caleb531/automata which is another automata library in Python (also for pushdown automata, Turing machines) I've found useful in the past. One thing that wasn't so great about it was the assumption that states and symbols are Python strings. Using tuples mostly works, but sometimes it still breaks.
What are some alternatives?
mathlib4 - The math library of Lean 4
visual-automata - Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
printbf - Brainfuck interpreter inside printf
vim_turing_machine - An implementation of a Turing machine using only normal mode Vim commands
turbine - A poorly coded configurable Turing machine, made with Rust and splash of ❤️
netzob - Netzob: Protocol Reverse Engineering, Modeling and Fuzzing