
MONA
 Referenced in 133 articles
[sw06170]
 automata, threevalued logic, eager minimization, BDDbased automata representations, and cacheconscious data structures...

AMoRE
 Referenced in 12 articles
[sw20980]
 expression into finite automata, determinization and minimization of automata (including a heuristic minimization of nondeterministic...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 toolkit supports analysis of finite symbolic automata and transducers over strings. It also handles transducers ... solving is used when composing and minimizing automata, and a much deeper and powerful integration...

automata
 Referenced in 14 articles
[sw07632]
 package with algorithms to deal with automata. The features of this package may be found ... language given by a rational expression; minimalize a finite automaton...

LANGAGE
 Referenced in 39 articles
[sw00501]
 language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable ... Maple packages for processing automata and finite semigroups...

Finite Automata HF
 Referenced in 6 articles
[sw29250]
 Automata in Hereditarily Finite Set Theory. Finite Automata, both deterministic and nondeterministic, for regular ... NFAs to DFAs. Left and right languages; minimal DFAs. Brzozowski’s minimization algorithm. Uniqueness...

AUTOMATE
 Referenced in 12 articles
[sw00059]
 AUTOMATE, a computing package for automata and finite semigroups. AUTOMATE is a package written ... allows to calculate the deterministic noncomplete minimal automaton of a rational language...

FAT
 Referenced in 1 article
[sw24988]
 determinization via the powerset construction; minimization of deterministic finite automata; intersection, union, and complement...

JFLAP
 Referenced in 13 articles
[sw10334]
 topics including nondeterministic finite automata, nondeterministic pushdown automata, multitape Turing machines, several types ... minimal state DFA to a regular expression or regular grammar. Click here for more information...

AG
 Referenced in 4 articles
[sw15652]
 automata (union, concatenation, Kleene closure,.) as well as the usual transformations (trimming, minimization...

CALF
 Referenced in 2 articles
[sw25000]
 minimization. We illustrate its generality with two examples: deterministic and weighted automata...

BALMII
 Referenced in 2 articles
[sw38885]
 most typical automata operations, such as determinization and state minimization, as well as some visualization...

FSA
 Referenced in 1 article
[sw21341]
 manipulating FiniteState Automata (FSAs). It includes functions for minimizing and determinizing FSAs, computing...

Stamina
 Referenced in 2 articles
[sw24797]
 automata theory. First, compute the star height of a regular language, i.e. the minimal number ... optimisations and heuristics, allow us to handle automata with several hundreds of states. This radically...

LinAIG
 Referenced in 6 articles
[sw10316]
 algorithm for the verification of linear hybrid automata with large discrete state spaces (where ... space traversal are redundancy elimination and constraint minimization: redundancy elimination eliminates socalled redundant linear...

STANSE
 Referenced in 2 articles
[sw26812]
 with new bugfinding techniques with a minimal effort. Currently there are four bugfinding ... STANSE: AutomatonChecker checks properties described in an automatabased formalism, ThreadChecker detects deadlocks among multiple...

Automata
 Referenced in 2 articles
[sw19148]
 number of operations on onedimensional cellular automata are also available. All the algorithms ... library: examples include the power automaton construction, minimization using Hopcroft’s algorithm, generation of syntactic...

LANGAGEA
 Referenced in 1 article
[sw15338]
 language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable ... Maple packages for processing automata and finite semigroups...

CGAL
 Referenced in 384 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...