in scala/util
package automata

package automata

Trait Summary
  trait Inclusion[A<:Object]()
     a fast test of language inclusion between minimal automata.

Class Summary
abstract class BaseBerrySethi()
     this turns a regexp over A into a NondetWorkAutom over A using the celebrated position automata construction (also called Berry-Sethi or Glushkov)
abstract class DetWordAutom[T<:Object]()
     A deterministic automaton.
abstract class NondetWordAutom[T<:Object]()
     A nondeterministic automaton.
  class SubsetConstruction[T<:Object](nfa: NondetWordAutom[T])
abstract class WordBerrySethi()
     this turns a regexp into a NondetWordAutom using the celebrated position automata construction (also called Berry-Sethi or Glushkov)