public class TransformationsToolBox extends Object
| Constructor and Description |
|---|
TransformationsToolBox() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
containsAnInitialState(Set<State> s) |
static boolean |
containsATerminalState(Set<State> s) |
static Set<State> |
epsilonClosure(Set<State> s,
Automaton a)
Compute the set of states that are reachable ina given automanton from a
set of states using epsilon moves.
|
static Map<Object,Set<State>> |
mapAlphabet(Set<Transition> ts,
Automaton a)
Compute a map from letters to set of states given a set of transitions.
|
public static boolean containsATerminalState(Set<State> s)
s - spublic static boolean containsAnInitialState(Set<State> s)
s - spublic static Set<State> epsilonClosure(Set<State> s, Automaton a)
null.s - the set of starting statesa - the automatons
through epsilon transitions.public static Map<Object,Set<State>> mapAlphabet(Set<Transition> ts, Automaton a)
ts - a Set of Transition objects.a - aCopyright © 2018. All rights reserved.