• Magma

  • Referenced in 2104 articles [sw00540]
  • help introduce new users to the Magma language. Magma is distributed by the Computational Algebra ... users to report any bugs they find; regular patch fixes are available from the downloads...
  • LANGAGE

  • Referenced in 33 articles [sw00501]
  • Maple package for automaton characterization of regular languages LANGAGE is a set of procedures...
  • RFSA

  • Referenced in 14 articles [sw03315]
  • Learning regular languages using RFSA par Residual languages are important and natural components of regular ... lead experiments which show that when regular languages are randomly drawn using non deterministic representations ... state automata (RFSA). RFSA representations of regular languages may have far less states than...
  • Matchbox

  • Referenced in 23 articles [sw10115]
  • descendants of a regular language, and of the set of non-terminating strings, with respect...
  • HAMPI

  • Referenced in 13 articles [sw09864]
  • fuzzers. Hampi constraints express membership in regular languages and bounded context-free languages. Hampi constraints ... contain context-free-language definitions, regular-language definitions and operations, and the membership predicate. Given...
  • RLangGFun

  • Referenced in 6 articles [sw14280]
  • Regular languages and their generating functions: The inverse problem. The technique of determining a generating ... utzenberger methodology. For regular languages, Elena Barcucci et al. proposed an approach for inverting this ... combinatorial interpretation (by means of a regular language) of certain positive integer sequences that...
  • XDuce

  • Referenced in 53 articles [sw12436]
  • language. XDuce is a statically typed programming language for XML processing. Its basic data values ... documents, and its types (so-called regular expression types) directly correspond to document schemas. XDuce...
  • nSPARQL

  • Referenced in 12 articles [sw11895]
  • motivated several authors to propose RDF query languages with navigational capabilities. In particular, we have ... argued in a previous paper that nested regular expressions are appropriate to navigate RDF data ... proposed the nSPARQL query language for RDF, that uses nested regular expressions as building blocks...
  • Grail

  • Referenced in 17 articles [sw00374]
  • finite-state machines, regular expressions, and other formal language theory objects. Using Grail ... manipulate parameterizable finite-state machines and regular expressions. By `parameterizable’, we mean that the alphabet...
  • VPAlib

  • Referenced in 4 articles [sw24344]
  • many of the desirable properties that regular languages have. VPL is closed under union, intersection...
  • GraphLog

  • Referenced in 28 articles [sw20098]
  • real life recursion. We present a query language called GraphLog, based on a graph representation ... represent edges or paths in the database. Regular expressions are used to qualify these paths ... characterize the expressive power of the language and show that it is equivalent to stratified...
  • AMoRE

  • Referenced in 11 articles [sw20980]
  • automata theory algorithms, including: conversion of regular expression into finite automata, determinization and minimization ... minimization of nondeterministic automata), language operations (e.g. boolean and regular operations, quotients, shuffle product), tests...
  • FIRE station

  • Referenced in 3 articles [sw03711]
  • visualization, exploration and manipulation of regular languages and their various representations, including regular expressions...
  • DReX

  • Referenced in 2 articles [sw16949]
  • DReX: a declarative language for efficiently evaluating regular string transformations. We present DReX, a declarative ... language that can express all regular string-to string transformations, and can still be efficiently ... combinators analogous to the definition of regular languages using regular expressions. While these combinators form...
  • LETHAL

  • Referenced in 2 articles [sw09918]
  • supports a great variety of regular tree language operations and property evaluations. More advanced concepts ... finite tree automata is to examine regular languages of trees, which are specially constructed sets...
  • GraphGrep

  • Referenced in 8 articles [sw18891]
  • interface to GraphGrep is a regular expression graph query language Glide that combines features from...
  • BULL

  • Referenced in 2 articles [sw09912]
  • learning algorithm for regular languages...
  • Kaluza

  • Referenced in 2 articles [sw12036]
  • equations over string variables, membership in regular languages, and inequality formulas over string length. Given...
  • libFAUDES

  • Referenced in 2 articles [sw16433]
  • algorithms for finite automata and regular languages. The library takes a control theoretic perspective...
  • Alpha

  • Referenced in 5 articles [sw13717]
  • Alpha is a functional language for expressing regular algorithms, synthesizing regular architectures or compiling ... many important research topics (parallelization, code generation, language semantics, convex polyhedra calculus, abstract...