Modifier and Type | Method and Description |
---|---|
Automaton |
Automaton.clone()
Returns a clone of this automaton.
|
Automaton |
Automaton.complement()
|
static Automaton |
BasicOperations.complement(Automaton a)
Returns a (deterministic) automaton that accepts the complement of the
language of the given automaton.
|
static Automaton |
SpecialOperations.compress(Automaton a,
String set,
char c)
Returns an automaton that accepts the compressed language of the given
automaton.
|
Automaton |
Automaton.compress(String set,
char c)
|
Automaton |
Automaton.concatenate(Automaton a)
|
static Automaton |
BasicOperations.concatenate(Automaton a1,
Automaton a2)
Returns an automaton that accepts the concatenation of the languages of
the given automata.
|
static Automaton |
BasicOperations.concatenate(List<Automaton> l)
Returns an automaton that accepts the concatenation of the languages of
the given automata.
|
static Automaton |
Automaton.concatenate(List<Automaton> l)
|
static Automaton |
Datatypes.get(String name)
Returns pre-built automaton.
|
Automaton |
DatatypesAutomatonProvider.getAutomaton(String name) |
Automaton |
AutomatonProvider.getAutomaton(String name)
Returns automaton of the given name.
|
static Automaton |
Automaton.hexCases(Automaton a)
|
static Automaton |
SpecialOperations.hexCases(Automaton a)
Constructs automaton that accepts the same strings as the given automaton
but ignores upper/lower case of A-F.
|
static Automaton |
SpecialOperations.homomorph(Automaton a,
char[] source,
char[] dest)
Returns an automaton accepting the homomorphic image of the given automaton
using the given function.
|
Automaton |
Automaton.homomorph(char[] source,
char[] dest)
|
Automaton |
Automaton.intersection(Automaton a)
|
static Automaton |
BasicOperations.intersection(Automaton a1,
Automaton a2)
Returns an automaton that accepts the intersection of
the languages of the given automata.
|
static Automaton |
Automaton.load(InputStream stream)
Retrieves a serialized
Automaton from a stream. |
static Automaton |
Automaton.load(URL url)
Retrieves a serialized
Automaton located by a URL. |
static Automaton |
Automaton.makeAnyChar()
|
static Automaton |
BasicAutomata.makeAnyChar()
Returns a new (deterministic) automaton that accepts any single character.
|
static Automaton |
Automaton.makeAnyString()
|
static Automaton |
BasicAutomata.makeAnyString()
Returns a new (deterministic) automaton that accepts all strings.
|
static Automaton |
Automaton.makeChar(char c)
|
static Automaton |
BasicAutomata.makeChar(char c)
Returns a new (deterministic) automaton that accepts a single character of the given value.
|
static Automaton |
Automaton.makeCharRange(char min,
char max)
|
static Automaton |
BasicAutomata.makeCharRange(char min,
char max)
Returns a new (deterministic) automaton that accepts a single char
whose value is in the given interval (including both end points).
|
static Automaton |
Automaton.makeCharSet(String set)
|
static Automaton |
BasicAutomata.makeCharSet(String set)
Returns a new (deterministic) automaton that accepts a single character in the given set.
|
static Automaton |
Automaton.makeDecimalValue(String value)
|
static Automaton |
BasicAutomata.makeDecimalValue(String value)
Constructs automaton that accept strings representing the given decimal number.
|
static Automaton |
Automaton.makeEmpty()
|
static Automaton |
BasicAutomata.makeEmpty()
Returns a new (deterministic) automaton with the empty language.
|
static Automaton |
Automaton.makeEmptyString()
|
static Automaton |
BasicAutomata.makeEmptyString()
Returns a new (deterministic) automaton that accepts only the empty string.
|
static Automaton |
Automaton.makeFractionDigits(int i)
|
static Automaton |
BasicAutomata.makeFractionDigits(int i)
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits in the fraction part.
|
static Automaton |
Automaton.makeIntegerValue(String value)
|
static Automaton |
BasicAutomata.makeIntegerValue(String value)
Constructs automaton that accept strings representing the given integer.
|
static Automaton |
Automaton.makeInterval(int min,
int max,
int digits)
|
static Automaton |
BasicAutomata.makeInterval(int min,
int max,
int digits)
Returns a new automaton that accepts strings representing
decimal non-negative integers in the given interval.
|
static Automaton |
Automaton.makeMaxInteger(String n)
|
static Automaton |
BasicAutomata.makeMaxInteger(String n)
Constructs automaton that accept strings representing nonnegative integers
that are not larger than the given value.
|
static Automaton |
Automaton.makeMinInteger(String n)
|
static Automaton |
BasicAutomata.makeMinInteger(String n)
Constructs automaton that accept strings representing nonnegative integers
that are not less that the given value.
|
static Automaton |
Automaton.makeString(String s)
|
static Automaton |
BasicAutomata.makeString(String s)
Returns a new (deterministic) automaton that accepts the single given string.
|
static Automaton |
Automaton.makeStringMatcher(String s)
|
static Automaton |
BasicAutomata.makeStringMatcher(String s)
Constructs deterministic automaton that matches strings that contain the given substring.
|
static Automaton |
Automaton.makeStringUnion(CharSequence... strings)
|
static Automaton |
BasicAutomata.makeStringUnion(CharSequence... strings)
Returns a new (deterministic and minimal) automaton that accepts the union of the
given set of strings.
|
static Automaton |
Automaton.makeTotalDigits(int i)
|
static Automaton |
BasicAutomata.makeTotalDigits(int i)
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits.
|
static Automaton |
Automaton.minimize(Automaton a)
|
Automaton |
Automaton.minus(Automaton a)
|
static Automaton |
BasicOperations.minus(Automaton a1,
Automaton a2)
Returns a (deterministic) automaton that accepts the intersection of
the language of
a1 and the complement of the language of
a2 . |
Automaton |
Automaton.optional()
|
static Automaton |
BasicOperations.optional(Automaton a)
Returns an automaton that accepts the union of the empty string and the
language of the given automaton.
|
Automaton |
Automaton.overlap(Automaton a)
|
static Automaton |
SpecialOperations.overlap(Automaton a1,
Automaton a2)
Returns an automaton that accepts the overlap of strings that in more than one way can be split into
a left part being accepted by
a1 and a right part being accepted by
a2 . |
static Automaton |
SpecialOperations.projectChars(Automaton a,
Set<Character> chars)
Returns an automaton with projected alphabet.
|
Automaton |
Automaton.projectChars(Set<Character> chars)
|
Automaton |
Automaton.repeat()
|
static Automaton |
BasicOperations.repeat(Automaton a)
Returns an automaton that accepts the Kleene star (zero or more
concatenated repetitions) of the language of the given automaton.
|
static Automaton |
BasicOperations.repeat(Automaton a,
int min)
Returns an automaton that accepts
min or more
concatenated repetitions of the language of the given automaton. |
static Automaton |
BasicOperations.repeat(Automaton a,
int min,
int max)
Returns an automaton that accepts between
min and
max (including both) concatenated repetitions of the
language of the given automaton. |
Automaton |
Automaton.repeat(int min)
|
Automaton |
Automaton.repeat(int min,
int max)
|
static Automaton |
Automaton.replaceWhitespace(Automaton a)
|
static Automaton |
SpecialOperations.replaceWhitespace(Automaton a)
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition
in the given automaton.
|
Automaton |
Automaton.shuffle(Automaton a)
|
static Automaton |
ShuffleOperations.shuffle(Automaton a1,
Automaton a2)
Returns an automaton that accepts the shuffle (interleaving) of
the languages of the given automata.
|
Automaton |
Automaton.singleChars()
|
static Automaton |
SpecialOperations.singleChars(Automaton a)
Returns an automaton that accepts the single chars that occur
in strings that are accepted by the given automaton.
|
static Automaton |
SpecialOperations.subst(Automaton a,
char c,
String s)
Returns an automaton where all transitions of the given char are replaced by a string.
|
static Automaton |
SpecialOperations.subst(Automaton a,
Map<Character,Set<Character>> map)
Returns an automaton where all transition labels have been substituted.
|
Automaton |
Automaton.subst(char c,
String s)
|
Automaton |
Automaton.subst(Map<Character,Set<Character>> map)
|
Automaton |
RegExp.toAutomaton()
Constructs new
Automaton from this RegExp . |
Automaton |
RegExp.toAutomaton(AutomatonProvider automaton_provider)
Constructs new
Automaton from this RegExp . |
Automaton |
RegExp.toAutomaton(AutomatonProvider automaton_provider,
boolean minimize)
Constructs new
Automaton from this RegExp . |
Automaton |
RegExp.toAutomaton(boolean minimize)
Constructs new
Automaton from this RegExp . |
Automaton |
RegExp.toAutomaton(Map<String,Automaton> automata)
Constructs new
Automaton from this RegExp . |
Automaton |
RegExp.toAutomaton(Map<String,Automaton> automata,
boolean minimize)
Constructs new
Automaton from this RegExp . |
static Automaton |
SpecialOperations.trim(Automaton a,
String set,
char c)
Returns an automaton that accepts the trimmed language of the given
automaton.
|
Automaton |
Automaton.trim(String set,
char c)
|
Automaton |
Automaton.union(Automaton a)
|
static Automaton |
BasicOperations.union(Automaton a1,
Automaton a2)
Returns an automaton that accepts the union of the languages of the given automata.
|
static Automaton |
BasicOperations.union(Collection<Automaton> l)
Returns an automaton that accepts the union of the languages of the given automata.
|
static Automaton |
Automaton.union(Collection<Automaton> l)
|
Modifier and Type | Method and Description |
---|---|
static void |
BasicOperations.addEpsilons(Automaton a,
Collection<StatePair> pairs)
Adds epsilon transitions to the given automaton.
|
static Automaton |
BasicOperations.complement(Automaton a)
Returns a (deterministic) automaton that accepts the complement of the
language of the given automaton.
|
static Automaton |
SpecialOperations.compress(Automaton a,
String set,
char c)
Returns an automaton that accepts the compressed language of the given
automaton.
|
Automaton |
Automaton.concatenate(Automaton a)
|
static Automaton |
BasicOperations.concatenate(Automaton a1,
Automaton a2)
Returns an automaton that accepts the concatenation of the languages of
the given automata.
|
static void |
BasicOperations.determinize(Automaton a)
Determinizes the given automaton.
|
static String |
SpecialOperations.getCommonPrefix(Automaton a)
Returns the longest string that is a prefix of all accepted strings and
visits each state at most once.
|
static Set<String> |
SpecialOperations.getFiniteStrings(Automaton a)
Returns the set of accepted strings, assuming this automaton has a finite
language.
|
static Set<String> |
SpecialOperations.getFiniteStrings(Automaton a,
int limit)
Returns the set of accepted strings, assuming that at most
limit
strings are accepted. |
static String |
BasicOperations.getShortestExample(Automaton a,
boolean accepted)
Returns a shortest accepted/rejected string.
|
static Set<String> |
SpecialOperations.getStrings(Automaton a,
int length)
Returns the set of accepted strings of the given length.
|
static Automaton |
Automaton.hexCases(Automaton a)
|
static Automaton |
SpecialOperations.hexCases(Automaton a)
Constructs automaton that accepts the same strings as the given automaton
but ignores upper/lower case of A-F.
|
static Automaton |
SpecialOperations.homomorph(Automaton a,
char[] source,
char[] dest)
Returns an automaton accepting the homomorphic image of the given automaton
using the given function.
|
Automaton |
Automaton.intersection(Automaton a)
|
static Automaton |
BasicOperations.intersection(Automaton a1,
Automaton a2)
Returns an automaton that accepts the intersection of
the languages of the given automata.
|
static boolean |
BasicOperations.isEmpty(Automaton a)
Returns true if the given automaton accepts no strings.
|
static boolean |
BasicOperations.isEmptyString(Automaton a)
Returns true if the given automaton accepts the empty string and nothing else.
|
static boolean |
SpecialOperations.isFinite(Automaton a)
Returns true if the language of this automaton is finite.
|
static boolean |
BasicOperations.isTotal(Automaton a)
Returns true if the given automaton accepts all strings.
|
static Automaton |
Automaton.minimize(Automaton a)
|
static void |
MinimizationOperations.minimize(Automaton a)
Minimizes (and determinizes if not already deterministic) the given automaton.
|
static void |
MinimizationOperations.minimizeBrzozowski(Automaton a)
Minimizes the given automaton using Brzozowski's algorithm.
|
static void |
MinimizationOperations.minimizeHopcroft(Automaton a)
Minimizes the given automaton using Hopcroft's algorithm.
|
static void |
MinimizationOperations.minimizeHuffman(Automaton a)
Minimizes the given automaton using Huffman's algorithm.
|
static void |
MinimizationOperations.minimizeValmari(Automaton automaton)
Minimizes the given automaton using Valmari's algorithm.
|
Automaton |
Automaton.minus(Automaton a)
|
static Automaton |
BasicOperations.minus(Automaton a1,
Automaton a2)
Returns a (deterministic) automaton that accepts the intersection of
the language of
a1 and the complement of the language of
a2 . |
static Automaton |
BasicOperations.optional(Automaton a)
Returns an automaton that accepts the union of the empty string and the
language of the given automaton.
|
Automaton |
Automaton.overlap(Automaton a)
|
static Automaton |
SpecialOperations.overlap(Automaton a1,
Automaton a2)
Returns an automaton that accepts the overlap of strings that in more than one way can be split into
a left part being accepted by
a1 and a right part being accepted by
a2 . |
static void |
SpecialOperations.prefixClose(Automaton a)
Prefix closes the given automaton.
|
static Automaton |
SpecialOperations.projectChars(Automaton a,
Set<Character> chars)
Returns an automaton with projected alphabet.
|
static Automaton |
BasicOperations.repeat(Automaton a)
Returns an automaton that accepts the Kleene star (zero or more
concatenated repetitions) of the language of the given automaton.
|
static Automaton |
BasicOperations.repeat(Automaton a,
int min)
Returns an automaton that accepts
min or more
concatenated repetitions of the language of the given automaton. |
static Automaton |
BasicOperations.repeat(Automaton a,
int min,
int max)
Returns an automaton that accepts between
min and
max (including both) concatenated repetitions of the
language of the given automaton. |
static Automaton |
Automaton.replaceWhitespace(Automaton a)
|
static Automaton |
SpecialOperations.replaceWhitespace(Automaton a)
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition
in the given automaton.
|
static Set<State> |
SpecialOperations.reverse(Automaton a)
Reverses the language of the given (non-singleton) automaton while returning
the set of new initial states.
|
static boolean |
BasicOperations.run(Automaton a,
String s)
Returns true if the given string is accepted by the automaton.
|
Automaton |
Automaton.shuffle(Automaton a)
|
static Automaton |
ShuffleOperations.shuffle(Automaton a1,
Automaton a2)
Returns an automaton that accepts the shuffle (interleaving) of
the languages of the given automata.
|
static String |
ShuffleOperations.shuffleSubsetOf(Collection<Automaton> ca,
Automaton a,
Character suspend_shuffle,
Character resume_shuffle)
Returns a string that is an interleaving of strings that are accepted by
ca but not by a . |
static String |
Automaton.shuffleSubsetOf(Collection<Automaton> ca,
Automaton a,
Character suspend_shuffle,
Character resume_shuffle)
|
static Automaton |
SpecialOperations.singleChars(Automaton a)
Returns an automaton that accepts the single chars that occur
in strings that are accepted by the given automaton.
|
boolean |
Automaton.subsetOf(Automaton a)
|
static boolean |
BasicOperations.subsetOf(Automaton a1,
Automaton a2)
Returns true if the language of
a1 is a subset of the
language of a2 . |
static Automaton |
SpecialOperations.subst(Automaton a,
char c,
String s)
Returns an automaton where all transitions of the given char are replaced by a string.
|
static Automaton |
SpecialOperations.subst(Automaton a,
Map<Character,Set<Character>> map)
Returns an automaton where all transition labels have been substituted.
|
static Automaton |
SpecialOperations.trim(Automaton a,
String set,
char c)
Returns an automaton that accepts the trimmed language of the given
automaton.
|
Automaton |
Automaton.union(Automaton a)
|
static Automaton |
BasicOperations.union(Automaton a1,
Automaton a2)
Returns an automaton that accepts the union of the languages of the given automata.
|
Modifier and Type | Method and Description |
---|---|
static Automaton |
BasicOperations.concatenate(List<Automaton> l)
Returns an automaton that accepts the concatenation of the languages of
the given automata.
|
static Automaton |
Automaton.concatenate(List<Automaton> l)
|
static String |
ShuffleOperations.shuffleSubsetOf(Collection<Automaton> ca,
Automaton a,
Character suspend_shuffle,
Character resume_shuffle)
Returns a string that is an interleaving of strings that are accepted by
ca but not by a . |
static String |
Automaton.shuffleSubsetOf(Collection<Automaton> ca,
Automaton a,
Character suspend_shuffle,
Character resume_shuffle)
|
Automaton |
RegExp.toAutomaton(Map<String,Automaton> automata)
Constructs new
Automaton from this RegExp . |
Automaton |
RegExp.toAutomaton(Map<String,Automaton> automata,
boolean minimize)
Constructs new
Automaton from this RegExp . |
static Automaton |
BasicOperations.union(Collection<Automaton> l)
Returns an automaton that accepts the union of the languages of the given automata.
|
static Automaton |
Automaton.union(Collection<Automaton> l)
|
Constructor and Description |
---|
RunAutomaton(Automaton a)
Constructs a new
RunAutomaton from a deterministic
Automaton . |
RunAutomaton(Automaton a,
boolean tableize)
Constructs a new
RunAutomaton from a deterministic
Automaton . |
Copyright © 2018. All rights reserved.