Sciweavers

2467 search results - page 75 / 494
» Finite State Machines
Sort
View
REX
1993
15 years 10 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
COCO
2000
Springer
107views Algorithms» more  COCO 2000»
15 years 10 months ago
On the Complexity of Intersecting Finite State Automata
We consider the problem of testing whether the intersection of a collection of k automata is empty. The straightforward algorithm for solving this problem runs in time k where is...
George Karakostas, Richard J. Lipton, Anastasios V...
WIA
2000
Springer
15 years 10 months ago
Applications of Finite-State Transducers in Natural Language Processing
This paper is a review of some of the major applications of finite-state transducers in Natural Language Processing ranging from morphological analysis to finite-state parsing. The...
Lauri Karttunen