rationals.transformations

Class ToDFA

java.lang.Object

rationals.transformations.ToDFA

All Implemented Interfaces:

UnaryTransformation

public class ToDFA
extends Object
implements UnaryTransformation

Determinization of an automaton.

Version:

$Id: ToDFA.java 7 2006-08-31 23:01:30Z oqube $

Author:

yroos

Constructor Summary

Constructors

Constructor and Description
ToDFA()

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

ToDFA

public ToDFA()

Method Detail

transform

public Automaton transform(Automaton a)

Specified by:

transform in interface UnaryTransformation

Parameters:

a - a

Returns:

automatom