public class QuasiDeterminizer extends java.lang.Object implements TransducerGraph.GraphProcessor
Constructor and Description |
---|
QuasiDeterminizer() |
Modifier and Type | Method and Description |
---|---|
static ClassicCounter |
computeLambda(TransducerGraph graph)
Takes time linear in number of arcs.
|
static void |
main(java.lang.String[] args) |
TransducerGraph |
processGraph(TransducerGraph graph) |
TransducerGraph |
pushLambdas(TransducerGraph graph,
ClassicCounter lambda)
Takes time linear in number of arcs.
|
public TransducerGraph processGraph(TransducerGraph graph)
processGraph
in interface TransducerGraph.GraphProcessor
public static ClassicCounter computeLambda(TransducerGraph graph)
public TransducerGraph pushLambdas(TransducerGraph graph, ClassicCounter lambda)
public static void main(java.lang.String[] args)