Class Summary  
abstract class

BaseBerrySethi
extends AnyRef
this turns a regexp over A into a NondetWorkAutom over A using the
celebrated position automata construction (also called BerrySethi or
Glushkov)

abstract class

DetWordAutom
[T <: AnyRef] extends AnyRef
A deterministic automaton. States are integers, where
0 is always the only initial state. Transitions are represented
in the delta function. A default transitions is one that
is taken when no other transition can be taken.
All states are reachable. Accepting states are those for which
the partial function 'finals' is defined.

trait

Inclusion
[A <: AnyRef] extends AnyRef
A fast test of language inclusion between minimal automata.
inspired by the AMoRE automata library

abstract class

NondetWordAutom
[T <: AnyRef] extends AnyRef
A nondeterministic automaton. States are integers, where
0 is always the only initial state. Transitions are represented
in the delta function. Default transitions are transitions that
are taken when no other transitions can be applied.
All states are reachable. Accepting states are those for which
the partial function 'finals' is defined.

class

SubsetConstruction
[T <: AnyRef](val nfa : NondetWordAutom[T]) extends AnyRef

abstract class

WordBerrySethi
extends BaseBerrySethi
This class turns a regexp into a NondetWordAutom using the
celebrated position automata construction (also called BerrySethi or
Glushkov)
