Sciweavers

3965 search results - page 205 / 793
» Effectivity of Regular Spaces
Sort
View
BIRTHDAY
2004
Springer
15 years 12 months ago
On NFA Reductions
We give faster algorithms for two methods of reducing the number of states in nondeterministic finite automata. The first uses equivalences and the second uses preorders. We deve...
Lucian Ilie, Gonzalo Navarro, Sheng Yu
EUROCAST
2007
Springer
97views Hardware» more  EUROCAST 2007»
15 years 10 months ago
A Practical Agent-Based Approach for Pattern Layout Design
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...
Cunhao Fang, Song Cao
CSR
2008
Springer
15 years 8 months ago
Synchronization of Grammars
Abstract. Deterministic graph grammars are finite devices which generate the transition graphs of pushdown automata. We define the notion of synchronization by grammars, generalizi...
Didier Caucal, Stéphane Hassen
ACL
2008
15 years 8 months ago
Arabic Language Modeling with Finite State Transducers
In morphologically rich languages such as Arabic, the abundance of word forms resulting from increased morpheme combinations is significantly greater than for languages with fewer...
Ilana Heintz
FSTTCS
2008
Springer
15 years 7 months ago
Explicit Muller Games are PTIME
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Florian Horn