Finite State Automata:
Top
Abstract
Table of Content
Definition Index
automaton-accepts?
epsilon-symbol
epsilon-symbol?
epsilon-transition?
final-states-of-finite-state-automaton
from-state-of-transition
make-automaton-transition
make-finite-state-automaton
start-state-of-finite-state-automaton
state-equal?
state-leq?
state-lt?
subset-construction
symbol-equal?
symbol-map-of-finite-state-automaton
symbol-of-transition
to-state-of-transition
transition-leq?
transition-list-of-finite-state-automaton
transitions-of-finite-state-automaton