State Complexity of Testing Divisibility
Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy repres...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2010-08-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1008.1668v1 |
id |
doaj-35971ca60e5e454482f95f746e1453b8 |
---|---|
record_format |
Article |
spelling |
doaj-35971ca60e5e454482f95f746e1453b82020-11-24T21:48:56ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802010-08-0131Proc. DCFS 2010485710.4204/EPTCS.31.7State Complexity of Testing DivisibilityEmilie CharlierNarad RampersadMichel RigoLaurent WaxweilerUnder some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy representations of the multiples of m in the Fibonacci system is exactly 2m^2. http://arxiv.org/pdf/1008.1668v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Emilie Charlier Narad Rampersad Michel Rigo Laurent Waxweiler |
spellingShingle |
Emilie Charlier Narad Rampersad Michel Rigo Laurent Waxweiler State Complexity of Testing Divisibility Electronic Proceedings in Theoretical Computer Science |
author_facet |
Emilie Charlier Narad Rampersad Michel Rigo Laurent Waxweiler |
author_sort |
Emilie Charlier |
title |
State Complexity of Testing Divisibility |
title_short |
State Complexity of Testing Divisibility |
title_full |
State Complexity of Testing Divisibility |
title_fullStr |
State Complexity of Testing Divisibility |
title_full_unstemmed |
State Complexity of Testing Divisibility |
title_sort |
state complexity of testing divisibility |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2010-08-01 |
description |
Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy representations of the multiples of m in the Fibonacci system is exactly 2m^2. |
url |
http://arxiv.org/pdf/1008.1668v1 |
work_keys_str_mv |
AT emiliecharlier statecomplexityoftestingdivisibility AT naradrampersad statecomplexityoftestingdivisibility AT michelrigo statecomplexityoftestingdivisibility AT laurentwaxweiler statecomplexityoftestingdivisibility |
_version_ |
1725890439678001152 |