Class InfoDFA

java.lang.Object
  DFA
      InfoDFA

public class InfoDFA

extends DFA

An extension of the class DFA allowing to store an information in a state as an integer and to identify a state as being the sink (used for LR analysis).

Constructor Summary

InfoDFA(int n, Alphabet a)

Methods inherited from class DFA

main, minimize, minimize, next, quotient, quotient, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InfoDFA

public InfoDFA(int n,
               Alphabet a)