Sciweavers

1052 search results - page 34 / 211
» The Regular Real-Time Languages
Sort
View
139
Voted
DLT
2009
15 years 1 months ago
Strongly Regular Grammars and Regular Approximation of Context-Free Languages
Abstract. We consider algorithms for approximating context
Ömer Egecioglu
120
Voted
ATVA
2009
Springer
146views Hardware» more  ATVA 2009»
15 years 7 months ago
Specification Languages for Stutter-Invariant Regular Properties
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
Christian Dax, Felix Klaedtke, Stefan Leue
ADBIS
2009
Springer
108views Database» more  ADBIS 2009»
15 years 10 months ago
Linear Systems for Regular Hedge Languages
We propose linear systems of hedge language equations (LSH) as a formalism to represent regular hedge languages. These linear systems are suitable for several computations in the a...
Mircea Marin, Temur Kutsia
123
Voted
DLT
2010
15 years 4 months ago
Computing Blocker Sets for the Regular Post Embedding Problem
Abstract. Blocker and coblocker sets are regular languages involved in the algorithmic solution of the Regular Post Embedding Problem. We investigate the computability of these lan...
Pierre Chambart, Philippe Schnoebelen
112
Voted
WIA
2004
Springer
15 years 8 months ago
Enumerating Regular Expressions and Their Languages
Abstract. We discuss enumeration of regular expressions and the distinct languages they represent.
Jonathan Lee, Jeffrey Shallit