The Mathematica Journal
Volume 11, Issue 3

Search

In This Issue
Articles
Mathematica Resources

Download This Issue 

About the Journal
Editorial Policy
Staff and Contributors
Submissions
Back Issues
Contact Information

Divisibility and State Complexity
Klaus Sutner

It is well known that the set of all natural numbers divisible by a fixed modulus m can be recognized by a finite state machine, assuming that the numbers are written in standard base-B representation. It is much harder to determine the state complexity of the minimal recognizer [1]. In this article we discuss the size of minimal recognizers for a variety of numeration systems, including reverse base-B representation and the Fibonacci system.

*Notebook


*PDF


About the Author
Klaus Sutner teaches computer science and internal martial arts at Carnegie Mellon University. His research interests lie in the area of computability, in particular, computations involving finite state machines and related systems such as cellular automata. Over the years, the Automata package used in this article has proven to be a great asset in research in automata theory and in teaching this beautiful subject to students.

Klaus Sutner
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

sutner@cs.cmu.edu


     
About Mathematica | Download Mathematica Player
© 2010 Wolfram Media, Inc. All rights reserved.