Class Nfa

All Implemented Interfaces:
NfaBuilder

public class Nfa extends FiniteAutomaton implements NfaBuilder
Class for modelling non-deterministic finite automata.

This implementation has epsilon and lambda transitions. Both transitions are silent but the former is intended to be optimised away while the latter must be retained during optimisation. This is necessary to implement limited closure for the REs that one may want to build with this NFA.

Since:
1.4
Author:
David Huen