in scala/util/automata
class DetWordAutom
-
abstract class DetWordAutom[T<:Object]()
- extends Object
- with ScalaObject
-
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.
Methods inherited from java/lang/Object-class
|
clone, eq, equals, finalize, getClass, hashCode, ne, notify, notifyAll, synchronized, wait, wait, wait |
nstates
abstract val nstates: Int
finals
abstract val finals: Array[Int]
delta
abstract val delta: Array[Map[T,Int]]
default
abstract val default: Array[Int]
isFinal
def isFinal(q: Int): Boolean
isSink
def isSink(q: Int): Boolean
next
def next(q: Int, label: T): Int
toString
override def toString(): String