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