automata.scm

Implementation of Deterministic Finite Automata (DFAs), Nondeterministic
Finite Automata (NFAs), Regular Expressions (regexps), and Pushdown
Automata (PDAs) on r7rs scheme, using SRFI 1 and SRFI 113.

The file ./automata.scm contains the implementation of the procedures
to make a DFA (make-dfa), to make a NFA (make-nfa), to make a PDA
(make-pda) to make a regexp, to convert a regexp to a NFA (regexp->nfa),
and to run either a DFA or a NFA on a string (automaton-run).

The file ./exempla.scm contains examples of NFA generated by regexps,
DFAs, NFAs, and PDAs implemented using the procedures of the other file.
This is an executable file; when run, it computes those automata on a
set of predefined strings.

Public domain.