Sciweavers

2467 search results - page 75 / 494
» Finite State Machines
Sort
View
90
Voted
REX
1993
15 years 4 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 4 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 4 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