首页    期刊浏览 2024年12月11日 星期三
登录注册

文章基本信息

  • 标题:State Complexity of Testing Divisibility
  • 本地全文:下载
  • 作者:Emilie Charlier ; Narad Rampersad ; Michel Rigo
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2010
  • 卷号:31
  • 页码:48-57
  • DOI:10.4204/EPTCS.31.7
  • 出版社:Open Publishing Association
  • 摘要: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.
国家哲学社会科学文献中心版权所有