rationals.transformations

Class Normalizer

java.lang.Object

rationals.transformations.Normalizer

All Implemented Interfaces:

UnaryTransformation

public class Normalizer
extends Object
implements UnaryTransformation

A transformation that normalizes a given Automaton.

This transformation produces a new Automaton with the following features :

1. it has one start state and one end state,
2. there is no incoming (resp. outgoing) transitions to (resp. from) the start (resp. end) state,
3. the resultant automaton is then pruned (Pruner) to remove inaccessible states.

Version:

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

Author:

yroos

Constructor Summary

Constructors

Constructor and Description
Normalizer()

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

Normalizer

public Normalizer()

Method Detail

transform

public Automaton transform(Automaton a)

Specified by:

transform in interface UnaryTransformation

Parameters:

a - a

Returns:

automatom