
Magma
 Referenced in 3363 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 39 articles
[sw00501]
 Maple package for automaton characterization of regular languages LANGAGE is a set of procedures...

HAMPI
 Referenced in 21 articles
[sw09864]
 fuzzers. Hampi constraints express membership in regular languages and bounded contextfree languages. Hampi constraints ... contain contextfreelanguage definitions, regularlanguage definitions and operations, and the membership predicate. Given...

RFSA
 Referenced in 16 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 25 articles
[sw10115]
 descendants of a regular language, and of the set of nonterminating strings, with respect...

Regular Sets
 Referenced in 15 articles
[sw28793]
 library of constructions on regular expressions and languages. It provides the operations ... concatenation, Kleene star and derivative on languages. Regular expressions and their meaning are defined...

MyhillNerode
 Referenced in 11 articles
[sw28547]
 expressions. There are numerous textbooks on regular languages. Many of them focus on finite automata ... functions, none of which are inductive datatypes. Regular expressions can be defined straightforwardly ... formal language theory  the MyhillNerode Theorem  can be recreated using only regular expressions. From ... this theorem many closure properties of regular languages follow...

RLangGFun
 Referenced in 7 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...

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

Finite Automata HF
 Referenced in 6 articles
[sw29250]
 both deterministic and nondeterministic, for regular languages. The MyhillNerode Theorem. Closure under intersection ... concatenation, etc. Regular expressions define regular languages. Closure under reversal; the powerset construction mapping NFAs...

MSO_Regex_Equivalence
 Referenced in 7 articles
[sw32230]
 encoded. Since MSO formulas correspond to regular languages, equivalence of MSO formulas can be reduced ... also define a languagepreserving translation of formulas into regular expressions with respect...

Kleene Algebra
 Referenced in 8 articles
[sw32203]
 computing with applications ranging from automata and language theory to computational modeling, program construction ... that powersets over a given monoid, (regular) languages, sets of paths in a graph, sets...

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

Grail
 Referenced in 22 articles
[sw00374]
 finitestate machines, regular expressions, and other formal language theory objects. Using Grail ... manipulate parameterizable finitestate machines and regular expressions. By `parameterizable’, we mean that the alphabet...

nSPARQL
 Referenced in 13 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...

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

LowRankModels
 Referenced in 38 articles
[sw27002]
 languages. LowRankModels.jl makes it easy to mix and match loss functions and regularizers to construct...

GraphLog
 Referenced in 32 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...

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

MathOptInterface.jl
 Referenced in 7 articles
[sw38215]
 algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally...