759 search results - page 6 / 152 » Overlap-Free Regular Languages |
MST
2007
13 years 8 months ago
2007
Odometers or “adding machines” are usually introduced in the context of positional numeration systems built on a strictly increasing sequence of integers. We generalize this no...
MST
2007
13 years 8 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 7 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 9 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...
FOSSACS
2001
Springer
14 years 28 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...