rationals.transformations

Class Concatenation

java.lang.Object

rationals.transformations.Concatenation

All Implemented Interfaces:

BinaryTransformation

public class Concatenation
extends Object
implements BinaryTransformation

Compute the concatenation of two automata.

• C = A . B
• S(C) = S(A) U S(B)
• S0(C) =
  • S0(A), if not A contains epsilon,
  • S0(A) U SO(B), otherwise
• T(C) =
  • T(B), if not B contains epsilon,
  • T(A) U T(B), otherwise
• D(C) = D(A) U D(B) U { (s1,a,s2) | (s,a,s2) in D(B), s in S0(B),s1 in T(A) } - {(s,a,s2) in D(B), s in S0(B) }

Version:

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

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Concatenation()

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

Concatenation

public Concatenation()

Method Detail

transform

public Automaton transform(Automaton a,
                           Automaton b)

Specified by:

transform in interface BinaryTransformation

Parameters:

a - a

b - b

Returns:

transformed automaton