Add a new automaton to the database.
Add a new automaton to the database.
Check whether aut1
and aut2
have empty
intersection.
Check whether aut1
and aut2
have empty
intersection.
Query the automaton that belongs to the regular expression with given id.
Query the automaton that belongs to the regular expression with given id.
Query the automaton that belongs to the regular expression with given id.
Query the automaton that belongs to the regular expression with given id.
Query the automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.
Query the automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.
Query the automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.
Query the automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.
Query the complemented automaton that belongs to the regular expression with given id.
Query the complemented automaton that belongs to the regular expression with given id.
Query the complemented automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.
Query the complemented automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.
Query the id of a regular expression.
Query the id of a regular expression.
Check whether aut1
specifies a subset of aut2
.
Check whether aut1
specifies a subset of aut2
.
Check whether aut1
specifies a subset of aut2
;
the check is only carried out when all required automata are already in
the database.
Check whether aut1
specifies a subset of aut2
;
the check is only carried out when all required automata are already in
the database.
Query the automaton that belongs to a regular expression.
Query the automaton that belongs to a regular expression.
Query the complemented automaton that belongs to a regular expression.
Query the complemented automaton that belongs to a regular expression.
Query the id of a regular expression.
Query the id of a regular expression.