|
Discrete dynamical systems.
You can find an introduction to k-automata
here. It is a revised version of a
presentation I once gave.
An implementation of k-automata
including examples written in C.
Non-k-automata can also be constructed, the Fibonacci automaton is
included as an example.
The class of automata this program accepts is described in
this document about Numeration-automatic sequences.
Note that you do not need to feed an arbitrary automaton with the correct
expansion, you could filter out all the 'garbage'.
A simple implementation of substitutions in
general used to verify the correctness of
the constructed automata.
An online version of the program is also available and
here is the source for those who want to run this
program on their own webserver.
|
