Sciweavers

204 search results - page 2 / 41
» The Language, the Expression, and the (Small) Automaton
Sort
View
COCOON
2004
Springer
13 years 9 months ago
Regular Expressions for Languages over Infinite Alphabets
In this paper we introduce a notion of a regular expression over infinite alphabets and show that a language is definable by an infinite alphabet regular expression if and only if ...
Michael Kaminski, Tony Tan
CAV
2012
Springer
222views Hardware» more  CAV 2012»
11 years 8 months ago
OpenNWA: A Nested-Word Automaton Library
Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, ...
Evan Driscoll, Aditya V. Thakur, Thomas W. Reps
GLOBECOM
2010
IEEE
13 years 3 months ago
Cache-Based Scalable Deep Packet Inspection with Predictive Automaton
Abstract--Regular expression (Regex) becomes the standard signature language for security and application detection. Deterministic finite automata (DFAs) are widely used to perform...
Yi Tang, Junchen Jiang, Xiaofei Wang, Yi Wang, Bin...
GRAMMARS
2000
100views more  GRAMMARS 2000»
13 years 5 months ago
Tabulation of Automata for Tree-Adjoining Languages
Abstract. We propose a modular design of tabular parsing algorithms for treeadjoining languages. The modularity is made possible by a separation of the parsing strategy from the me...
Miguel A. Alonso, Mark-Jan Nederhof, Eric Villemon...
DLT
2008
13 years 7 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