Sciweavers

762 search results - page 25 / 153
» Intercode Regular Languages
Sort
View
DLT
2008
13 years 8 months ago
Construction of Tree Automata from Regular Expressions
Abstract. Since recognizable tree languages are closed under the rational operations, every regular tree expression denotes a recognizable tree language. We provide an alternative ...
Dietrich Kuske, Ingmar Meinecke
DBPL
2009
Springer
152views Database» more  DBPL 2009»
14 years 2 months ago
An Automata-Theoretic Approach to Regular XPath
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
IFL
2007
Springer
110views Formal Methods» more  IFL 2007»
14 years 1 months ago
XHaskell - Adding Regular Expression Types to Haskell
Martin Sulzmann, Kenny Zhuo Ming Lu
VLDB
1990
ACM
116views Database» more  VLDB 1990»
13 years 11 months ago
Factoring Augmented Regular Chain Programs
In previous papers we have proposed a graphical query language for expressing traversal recursions in labelled, directed graphs. A fundamental feature of the language is the use o...
Peter T. Wood
LATIN
2010
Springer
13 years 9 months ago
Complexity of Operations on Cofinite Languages
We study the worst case complexity of regular operations on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the result...
Frédérique Bassino, Laura Giambruno,...