• automata

  • Referenced in 17 articles [sw07632]
  • language recognized by a finite automaton; compute an automaton for the language given ... rational expression; minimalize a finite automaton...
  • LUSTRE

  • Referenced in 37 articles [sw08938]
  • generate efficient sequential code, namely, a finite state automaton which represents the control...
  • MOPS

  • Referenced in 22 articles [sw10117]
  • represents the security property as a finite state automaton, and uses model checking techniques...
  • DCVALID

  • Referenced in 13 articles [sw20416]
  • every formula D, we construct a finite state automaton A(D) precisely accepting the finite...
  • LANGAGE

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

  • Referenced in 24 articles [sw20208]
  • algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm ... subset construction to explicitly determinize the automaton, we keep the determinization step implicit. Our algorithm ... algorithm experimentally using the random automaton model recently proposed by Tabakov and Vardi. We show ... solving the language-inclusion problem for nondeterministic finite automata, and the emptiness problem for alternating...
  • 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...
  • FSA

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

  • Referenced in 1 article [sw14518]
  • fsaLib : finite state automaton Library. fsaLib creates deterministic or probabilistic automata from regular expressions...
  • LocUsT

  • Referenced in 1 article [sw20430]
  • resource access patterns, represented through a finite state automaton parametrized over resources. Finally, LocUsT decides...
  • Decombinator

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

  • Referenced in 12 articles [sw00059]
  • AUTOMATE, a computing package for automata and finite semigroups. AUTOMATE is a package written ... calculate the deterministic non-complete minimal automaton of a rational language and the transition monoid...
  • 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...
  • IDP3

  • Referenced in 6 articles [sw22941]
  • system. The core of IDP3 is a finite model generator that supports first-order logic ... classical problem of learning a minimal automaton consistent with a given set of strings...
  • Automata

  • Referenced in 2 articles [sw19148]
  • hybrid Mathematica/C++ package that manipulates finites state machines and their syntactic semigroups. A number ... library: examples include the power automaton construction, minimization using Hopcroft’s algorithm, generation of syntactic...
  • Vcsn

  • Referenced in 1 article [sw21339]
  • called transducers then — or even more generally finite automata with multiplicity, that is, automata that ... instantiated to any particular kind of automaton. As a result, we obtain efficient code from...
  • TravMC

  • Referenced in 1 article [sw09396]
  • schemes (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...
  • BARON

  • Referenced in 269 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...