Sciweavers

IJAC
2000
70views more  IJAC 2000»
13 years 11 months ago
Finitely Based, Finite Sets of Words
For W a finite set of words, we consider the Rees quotient of a free monoid with respect to the ideal consisting of all words that are not subwords of W. This monoid is denoted by...
Marcel Jackson, Olga Sapir
CSL
2000
Springer
14 years 3 months ago
Bounded Arithmetic and Descriptive Complexity
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
Achim Blumensath
LATIN
2010
Springer
14 years 6 months ago
Radix Cross-Sections for Length Morphisms
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...
Sylvain Lombardy, Jacques Sakarovitch