• Esterel

  • Referenced in 163 articles [sw20012]
  • compiler which translates Esterel programs into finite-state machines. It is one of a family...
  • Grail

  • Referenced in 19 articles [sw00374]
  • symbolic computation environment for finite-state 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 finite-state machines and regular expressions. By `parameterizable ... define the alphabet of a finite-state machine or regular expression. Version 2.4 of Grail...
  • STAMINA

  • Referenced in 3 articles [sw07653]
  • Moore finite-state machines by merging two states. The problem of minimization of Moore Finite...
  • FSM

  • Referenced in 4 articles [sw26448]
  • Library Finite-State Machine Library: The AT&T FSM library is a set of general ... building, combining, optimizing, and searching weighted finite-state acceptors and transducers. Finite-state transducers...
  • MuACOsm

  • Referenced in 2 articles [sw17580]
  • Colony Optimization Algorithm for Learning Finite-State Machines. In this paper we present MuACOsm ... method of learning Finite-State 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 locally-designed finite-state machine hardware, with 32 bit busses connecting each...
  • Dyna

  • Referenced in 11 articles [sw23357]
  • used for parsing, machine translation, morphological analysis, grammar induction, and finite-state modeling...
  • greenery

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

  • Referenced in 14 articles [sw01312]
  • interested in Carmel, the very fine finite-state (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 finite-state and discrete devices. The language is self-extending ... minimal translator written for the native machine environment. Speciality keyboard mappings are highly recommended...
  • OpenFst

  • Referenced in 12 articles [sw00653]
  • open-source library for weighted finite-state 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 finite-state processes exchanging messages over reliable, unbounded FIFO...
  • Decombinator

  • Referenced in 1 article [sw23150]
  • cell receptor sequences using a finite state machine. SUMMARY: High-throughput sequencing provides an opportunity ... then describe a novel application of finite-state automaton to map Illumina short-read sequence...
  • FSA

  • Referenced in 3 articles [sw09924]
  • algorithms for creating and manipulating weighted finite-state 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 high-level language and interactive...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. 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 general-purpose functional...