rationals.transformations

Class Reducer

java.lang.Object

rationals.transformations.Reducer

All Implemented Interfaces:

UnaryTransformation

public class Reducer
extends Object
implements UnaryTransformation

Computes the minimal automaton from a deterministic automaton.
This class first determinizes the transformed automaton, then compute states equivalence classes to create new states and transitions.

Version:

$Id: Reducer.java 2 2006-08-24 14:41:48Z oqube $

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Reducer()

Method Summary

Modifier and Type	Method and Description
Automaton	transform(Automaton a)

Methods inherited from class java.lang.Object

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

Constructor Detail

Reducer

public Reducer()

Method Detail

transform

public Automaton transform(Automaton a)

Specified by:

transform in interface UnaryTransformation

Parameters:

a - a

Returns:

automatom