124 search results - page 3 / 25 » Antichain Algorithms for Finite Automata |
WIA
2000
Springer
13 years 9 months ago
2000
Springer
DLT
2008
13 years 7 months ago
2008
COLING
1992
13 years 7 months ago
1992
PAAMS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
DLT
2009
13 years 4 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...