| Package | Description |
|---|---|
| rationals.transformations |
| Modifier and Type | Class and Description |
|---|---|
class |
Concatenation
Compute the concatenation of two automata.
|
class |
Mix
This class implements the mix - ie: synchronization product - operator
between two automatas.
|
class |
Shuffle
This class implements the shuffle operator between two automatas.
|
class |
Union
Compute the union of two automaton.
|
Copyright © 2017. All Rights Reserved.