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

TESTAS
 Referenced in 19 articles
[sw00957]
 given by its minimal automaton or by its syntactic semigroup is locally testable, right...

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

Automata
 Referenced in 2 articles
[sw19148]
 manipulates finites state machines and their syntactic semigroups. A number of operations on onedimensional ... power automaton construction, minimization using Hopcroft’s algorithm, generation of syntactic semigroups with Dclass...

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...

GAP
 Referenced in 2974 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Magma
 Referenced in 3052 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5199 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 396 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 6090 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12640 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SageMath
 Referenced in 1743 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

GAIO
 Referenced in 92 articles
[sw04306]
 GAIO is a software package for the global...

OEIS
 Referenced in 3856 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

automata
 Referenced in 14 articles
[sw07632]
 The Automata package, as its name suggests, is...

AutomGrp
 Referenced in 12 articles
[sw07727]
 AutomGrp–GAP package for computations in selfsimilar...

Python
 Referenced in 1697 articles
[sw14460]
 Python is a widely used highlevel, general...

FR
 Referenced in 12 articles
[sw14544]
 GAP package FR. Computations with functionally recursive groups...

AG
 Referenced in 4 articles
[sw15652]
 AG: A set of Maple packages for manipulating...