759 search results - page 13 / 152 » Odometers on Regular Languages |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
AUTOMATICA
2004
13 years 7 months ago
2004
This paper formulates an unconstrained optimal policy for control of regular languages realized as deterministic
MST
2007
13 years 7 months ago
2007
Abstract. We study the distribution of values of additive functions related to numeration systems defined via regular languages.
TCS
2008
13 years 6 months ago
2008
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syn...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...