rationals.transformations

Class Shuffle

java.lang.Object

rationals.transformations.Shuffle

All Implemented Interfaces:

BinaryTransformation

public class Shuffle
extends Object
implements BinaryTransformation

This class implements the shuffle operator between two automatas.

• C = A shuffle B
• S(C) = { (a,b) | a in S(A) and b in S(B) }
• S0(C) = (S0(A),SO(B))
• T(C) = { (a,b) | a in T(A) and b in T(B) }
• D(C) = { ((s1a,s1b),a,(s2a,s2b)) | exists (s1a,a,s2a) in D(A) or exists (s1b,a,s2b) in D(b) }

This class uses the Mix operator with an empty alphabet to compute the Shuffle.

Version:

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

Author:

Arnaud Bailly

See Also:

Mix

Constructor Summary

Constructors

Constructor and Description
Shuffle()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Shuffle

public Shuffle()

Method Detail

transform

public Automaton transform(Automaton a,
                           Automaton b)

Specified by:

transform in interface BinaryTransformation

Parameters:

a - a

b - b

Returns:

transformed automaton