rationals.transformations

Class Mix

java.lang.Object

rationals.transformations.Mix

All Implemented Interfaces:

BinaryTransformation

public class Mix
extends Object
implements BinaryTransformation

This class implements the mix - ie: synchronization product - operator between two automatas.

• C = A mix 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) and exists (s1b,a,s2b) in D(b) } U { ((s1a,s1b),a,(s1a,s2b)) | a not in S(A) and exists (s1b,a,s2b) in D(b) } U { ((s1a,s1b),a,(s2a,s1b)) | a not in S(B) and exists (s1a,a,s2a) in D(a) }

Version:

22032002

Author:

Arnaud Bailly

Constructor Summary

Constructors

Constructor and Description
Mix() Compute mix of two automata using default synchronization scheme which is the equality of labels.
Mix(Synchronization synch) Compute mix of two automata using given synchronization scheme.

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

Mix

public Mix()

Compute mix of two automata using default synchronization scheme which is the equality of labels.

See Also:

DefaultSynchronization, Synchronization

Mix

public Mix(Synchronization synch)

Compute mix of two automata using given synchronization scheme.

Parameters:

synch - a Synchronization object. Must not be null.

Method Detail

transform

public Automaton transform(Automaton a,
                           Automaton b)

Specified by:

transform in interface BinaryTransformation

Parameters:

a - a

b - b

Returns:

transformed automaton