public class AssertionCycleApproximation
- extends Object
Assertions involved in operation cycles are replaced by unit productions to
prevent them from provoking a character set approximation that would not otherwise occur.
That is, a production of form X -> assertOp(Y,Z) can be replaced with X -> Y.
Strongly connected components are found independently of
OperationCycleApproximation, so any
components that might be broken by this approximation will not be subject to character set approximation afterwards.
|Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public AssertionCycleApproximation(Grammar g)
public void approximate()
Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.