We study expansions in non-integer negative base -β introduced by Ito and Sadahiro [7]. Using countable automata associated with (β)-expansions, we characterize the case where the (;β)-shift is a system of finite type. We prove that, if β is a Pisot number, then the (;β)-shift is a sofic system. In that case, addition (and more generally normalization on any alphabet) is realizable by a finite transducer. © 2009 Springer Berlin Heidelberg.

On negative bases / Frougny, Christiane; LAI, ANNA CHIARA. - 5583:(2009), pp. 252-263. (Intervento presentato al convegno 13th International Conference on Developments in Language Theory, DLT 2009 tenutosi a Stuttgart; Germany nel 2009) [10.1007/978-3-642-02737-6_20].

On negative bases

LAI, ANNA CHIARA
2009

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 where the (;β)-shift is a system of finite type. We prove that, if β is a Pisot number, then the (;β)-shift is a sofic system. In that case, addition (and more generally normalization on any alphabet) is realizable by a finite transducer. © 2009 Springer Berlin Heidelberg.
2009
13th International Conference on Developments in Language Theory, DLT 2009
Computer Science (all); Theoretical Computer Science
Pubblicazione in atti di convegno::04b Atto di convegno in volume
On negative bases / Frougny, Christiane; LAI, ANNA CHIARA. - 5583:(2009), pp. 252-263. (Intervento presentato al convegno 13th International Conference on Developments in Language Theory, DLT 2009 tenutosi a Stuttgart; Germany nel 2009) [10.1007/978-3-642-02737-6_20].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/850258
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact