Package com.inxar.syntacs.automaton.pushdown

Defines classes which implement pushdown automata and their construction.

See:
          Description

Class Summary
Array2MesoArrayDPATransformer Concrete DPATransformer implementation which converts an ArrayDPA into a MesoArrayDPA.
ArrayDPA Concrete implementation of DPA which uses full-length array parse tables.
ArrayDPAConstructor Concrete implementation of DPAConstructor which builds an ArrayDFA.
LALR1Constructor Concrete implementation of LRConstructor that builds LALR1 parse tables.
LR1Constructor Concrete implementation of LRConstructor that builds canonical LR1 parse tables.
LRConstructor Abstract implementation of LRConstructor which defines code common to different LR construction algorithms.
MesoArrayDPA Concrete DPA implementation which uses meso-array parse tables.
MesoArrayDPABurner Utility class which transforms an instance of MesoArrayDPA to a corresponding source code representation.
SCCTransitiveClosure This is originally from Eve J, Kurki-Suonio R On Computing the Transitive Closure of a Relation" Acta Inf.
StandardAction Standard implementation of Action.
 

Exception Summary
SCCTransitiveClosure.NonTrivialSCCException  
 

Package com.inxar.syntacs.automaton.pushdown Description

Defines classes which implement pushdown automata and their construction.