124 search results - page 3 / 25 » Antichain Algorithms for Finite Automata |
139
Voted
WIA
2000
Springer
15 years 11 months ago
2000
Springer
126
Voted
COLING
1992
15 years 8 months ago
1992
228
click to vote
PAAMS
2010
Springer
15 years 5 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...
189
click to vote
DLT
2009
15 years 5 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...