• FASTUS

  • Referenced in 3 articles [sw17362]
  • works essentially as a cascaded, nondeterministic finite-state automaton. There are five stages...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • dynamics. They are based on a finite-state automaton structure enriched with invariant and flow...
  • Decombinator

  • Referenced in 1 article [sw23150]
  • then describe a novel application of finite-state automaton to map Illumina short-read sequence...
  • FSA

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

  • Referenced in 3 articles [sw33220]
  • OpenNWA: A Nested-Word Automaton Library. Nested-word automata (NWAs) are a language formalism ... that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express ... desirable closure characteristics of finite-state 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 finite-state 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 high-level language and interactive...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • OpenFst

  • Referenced in 12 articles [sw00653]
  • We describe OpenFst, an open-source library for...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose 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 open-source 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...