
Esterel
 Referenced in 163 articles
[sw20012]
 compiler which translates Esterel programs into finitestate machines. It is one of a family...

Grail
 Referenced in 19 articles
[sw00374]
 symbolic computation environment for finitestate machines, regular expressions, and other formal language theory objects ... into the properties of machines, and for efficient computation with machines. Grail is written ... Grail enables you to manipulate parameterizable finitestate machines and regular expressions. By `parameterizable ... define the alphabet of a finitestate machine or regular expression. Version 2.4 of Grail...

STAMINA
 Referenced in 3 articles
[sw07653]
 Moore finitestate machines by merging two states. The problem of minimization of Moore Finite...

FSM
 Referenced in 4 articles
[sw26448]
 Library FiniteState Machine Library: The AT&T FSM library is a set of general ... building, combining, optimizing, and searching weighted finitestate acceptors and transducers. Finitestate transducers...

MuACOsm
 Referenced in 2 articles
[sw17580]
 Colony Optimization Algorithm for Learning FiniteState Machines. In this paper we present MuACOsm ... method of learning FiniteState Machines (FSM) based on Ant Colony Optimization...

NuMesh
 Referenced in 2 articles
[sw01563]
 precompiled into independent and carefully choreographed finite state machines running on each node. Several extensions ... 40MHz boards running locallydesigned finitestate machine hardware, with 32 bit busses connecting each...

Dyna
 Referenced in 11 articles
[sw23357]
 used for parsing, machine translation, morphological analysis, grammar induction, and finitestate modeling...

greenery
 Referenced in 1 article
[sw34434]
 manipulating regular expressions (greenery.lego), for producing finitestate machines (greenery.fsm), and for freely converting between...

Tiburon
 Referenced in 14 articles
[sw01312]
 interested in Carmel, the very fine finitestate (string) transducer package written by Jonathan Graehl ... should be able to run on your machine. However, if you don’t have java...

LYaPAS
 Referenced in 6 articles
[sw32275]
 programming of synthesis algorithms for finitestate and discrete devices. The language is selfextending ... minimal translator written for the native machine environment. Speciality keyboard mappings are highly recommended...

OpenFst
 Referenced in 12 articles
[sw00653]
 opensource library for weighted finitestate transducers (WFSTs). OpenFst consists of a C++ template ... language processing, pattern and string matching, and machine learning.\parWe give an overview...

McScM
 Referenced in 1 article
[sw14482]
 general framework for the verification of communicating machines. We present McScM, a platform for implementing ... verification algorithms for the class of finitestate processes exchanging messages over reliable, unbounded FIFO...

Decombinator
 Referenced in 1 article
[sw23150]
 cell receptor sequences using a finite state machine. SUMMARY: Highthroughput sequencing provides an opportunity ... then describe a novel application of finitestate automaton to map Illumina shortread sequence...

FSA
 Referenced in 3 articles
[sw09924]
 algorithms for creating and manipulating weighted finitestate automata. The toolkit has been designed using ... rapidly build a fast and accurate statistical machine translation system. Future extensibility of the toolkit...

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

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

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

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

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

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