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...

Full description

Bibliographic Details
Main Authors: Emilie Charlier, Narad Rampersad, Michel Rigo, Laurent Waxweiler
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