936 search results - page 32 / 188 » FSM-Hume is finite state |
APLAS
2009
ACM
14 years 1 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
NEUROSCIENCE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
NLPRS
2001
Springer
14 years 1 months ago
2001
Springer
WIA
2001
Springer
14 years 1 months ago
2001
Springer
WIA
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...