Relational deterministic finite automaton interpreter
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
README.md
fsm-mk.scm
fsm.scm
mk.scm
pmatch.scm
test-check.scm

README.md

relational-dfa

Relational deterministic finite automaton interpreter, written in miniKanren.

All code written during the 8th miniKanren Hangout on 5 May 2013:

https://www.youtube.com/watch?v=ux6St9r-KmM

Scheme DFA interpreter is in fsm.scm

miniKanren relational DFA interpreter is in fsm-mk.scm