762 search results - page 31 / 153 » Intercode Regular Languages |
105
click to vote
FSMNLP
2005
Springer
15 years 7 months ago
2005
Springer
We extend finite state registered automata (FSRA) to account for medium-distance dependencies in natural languages. We provide an extended regular expression language whose expres...
134
Voted
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
110
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
105
Voted
DEBU
2007
15 years 2 months ago
2007
Modern database systems mostly support representation and retrieval of data belonging to different scripts and different languages. But the database functions are mostly designed ...
154
Voted
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
The problem of converting deterministic finite automata into (short) regular expressions is considered. It is known that the required expression size is 2(n) in the worst case for ...