| Package | Description |
|---|---|
| rationals.transformations |
| Modifier and Type | Class and Description |
|---|---|
class |
Complement
A transformation that computes the complement of an automaton.
|
class |
EpsilonTransitionRemover
This class allows to remove epsilon transitions in an automaton.
|
class |
Normalizer
A transformation that normalizes a given Automaton.
|
class |
Pruner
Removes states that neither accessible nor coaccessible.
|
class |
Reducer
Computes the minimal automaton from a deterministic automaton.
|
class |
Star
Compute the kleene-star closure of an automaton.
|
class |
ToDFA
Determinization of an automaton.
|
Copyright © 2018. All rights reserved.