644 search results - page 126 / 129 » Precedence Automata and Languages |
CAI
2011
Springer
13 years 1 days ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ï¬nite model theory and proï...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
WIA
2001
Springer
14 years 26 days ago
2001
Springer
This article describes a ï¬nite-state cascade for the extraction of person names in texts in French. We extract these proper names in order to categorize and to cluster texts with...
FOIKS
2008
Springer
13 years 10 months ago
2008
Springer
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Decision procedures have long been a ï¬xture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...