Package | Description |
---|---|
de.up.ling.irtg.automata.condensed |
Classes for "condensed" tree automata.
|
Modifier and Type | Class and Description |
---|---|
class |
PMFactoryRestrictive<State>
Produces pattern matcher automata to compute the inverse of decomposition
automata under homomorphism.
|
Copyright © 2017. All rights reserved.