433 search results - page 9 / 87 » On stabilizers of infinite words |
ITA
2002
13 years 7 months ago
2002
Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a word is the ratio between the number of p...
IPL
2002
13 years 7 months ago
2002
Weak acceptance conditions for automata on infinite words or trees are defined in terms of the set of states that appear in the run. This is in contrast with, more usual, strong c...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
COLING
1996
13 years 9 months ago
1996
In this paper we present a GB-parsing system for German and in particular the system's strategy for argument interpretation, which copes with the difficulty that word order i...
CHINAF
2008
13 years 8 months ago
2008
: The input-to-state stability (ISS) problem is studied for switched systems with infinite subsystems. By the method of multiple Lyapunov function, a sufficient ISS condition is gi...