net.oneandone.mork.scanner

Class Minimizer

java.lang.Object

net.oneandone.mork.scanner.Minimizer

public class Minimizer
extends Object

Minimization of a finite automaton. Requires a complete depterministic automaton. Algorithm is taken from [Hopcraft80]. SableCC 2.7 and JFlex 1.1.2 use the same algorithm. State partitioning as descibed is most compiler text books is to slow.

Constructor Summary

Constructors

Constructor and Description
Minimizer(FA fa) Requires a complete deterministic automaton

Method Summary

Modifier and Type	Method and Description
int	getNewSi(int si)
FA	run() The caller has to ensure a complete FA.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Minimizer

public Minimizer(FA fa)

Requires a complete deterministic automaton

Method Detail

getNewSi

public int getNewSi(int si)

run

public FA run()

The caller has to ensure a complete FA.

Throws:

IllegalArgumentException - if faInit is not complete.