
FASTUS
 Referenced in 3 articles
[sw17362]
 works essentially as a cascaded, nondeterministic finitestate automaton. There are five stages...

HyDI
 Referenced in 3 articles
[sw11912]
 dynamics. They are based on a finitestate automaton structure enriched with invariant and flow...

Decombinator
 Referenced in 1 article
[sw23150]
 then describe a novel application of finitestate automaton to map Illumina shortread sequence...

FSA
 Referenced in 1 article
[sw21341]
 Finite State Automaton processing in Python. This package contains functions for manipulating FiniteState Automata...

OpenNWA
 Referenced in 3 articles
[sw33220]
 OpenNWA: A NestedWord Automaton Library. Nestedword automata (NWAs) are a language formalism ... that helps bridge the gap between finitestate automata and pushdown automata. NWAs can express ... desirable closure characteristics of finitestate automata. This paper describes OpenNWA, a C++ library ... packaged with WALi—the Weighted Automaton Library—and interoperates closely with the weighted pushdown system...

TravMC
 Referenced in 2 articles
[sw09396]
 HORS)  is a natural generalisation of finitestate and pushdown model checking. Recent work ... problem for deterministic trivial automata: does the automaton accept every tree in the tree language...

Grail
 Referenced in 21 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

LANGAGE
 Referenced in 38 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

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

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

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

OpenFst
 Referenced in 12 articles
[sw00653]
 We describe OpenFst, an opensource library for...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Modula
 Referenced in 197 articles
[sw01224]
 The Modula programming language is a descendant of...

Tiburon
 Referenced in 15 articles
[sw01312]
 Tiburon is a tree transducer package written by...

LOTOS
 Referenced in 152 articles
[sw02961]
 Introduction to the ISO specification language LOTOS. LOTOS...

RFSA
 Referenced in 15 articles
[sw03315]
 Learning regular languages using RFSA par Residual languages...

SPIN
 Referenced in 721 articles
[sw03455]
 Spin is a popular opensource software tool...

Smodels
 Referenced in 239 articles
[sw04631]
 The Smodels system is an Answer Set Programming...

Genocop
 Referenced in 1092 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...