Sciweavers

64 search results - page 4 / 13
» Computability of Countable Subshifts
Sort
View
MFCS
2001
Springer
15 years 6 months ago
Automata on Linear Orderings
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
Véronique Bruyère, Olivier Carton
DLT
2009
14 years 11 months ago
On Negative Bases
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
Christiane Frougny, Anna Chiara Lai
STACS
2005
Springer
15 years 7 months ago
The Core of a Countably Categorical Structure
ded abstract of this article is published in the proceedings of STACS’05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
Manuel Bodirsky
AUTOMATICA
2008
104views more  AUTOMATICA 2008»
15 years 1 months ago
Exact finite approximations of average-cost countable Markov decision processes
For a countable-state Markov decision process we introduce an embedding which produces a finite-state Markov decision process. The finite-state embedded process has the same optim...
Arie Leizarowitz, Adam Shwartz
IJBC
2002
86views more  IJBC 2002»
15 years 1 months ago
Symbolic Dynamics from homoclinic tangles
We give a method for finding symbolic dynamics for a planar diffeomorphism with a homoclinic tangle. The method only requires a finite piece of tangle, which can be computed with ...
Pieter Collins