124 search results - page 3 / 25 » Antichain Algorithms for Finite Automata |
102
Voted
WIA
2000
Springer
15 years 7 months ago
2000
Springer
DLT
2008
15 years 5 months ago
2008
71
Voted
COLING
1992
15 years 4 months ago
1992
149
Voted
PAAMS
2010
Springer
15 years 1 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...
127
Voted
DLT
2009
15 years 1 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...