arXiv++ Combinatorics

We consider a programming language based on the lamplighter group that uses only composition and iteration as control structures. We derive generating functions and counting formulas for this language and special subsets of it, establishing lower and upper bounds on the growth rate of semantically distinct programs. Finally, we show how to sample random programs and analyze the distribution of runtimes induced by such sampling.

We present a method for predicting the large-scale evolution of a tag system from its production rules. A tag system's evolution is first divided into stages called `epochs' in which the tag system evolves monotonously. The distribution of symbols in the queue at the beginning of each epoch determines the tag system's large-scale properties, including growth rate and string densities, during that epoch. We derive the symbol distribution for the next epoch from the distribution for the current one, using this to make predictions over multiple successive epochs. Finally, we compare predictions that were obtained with this method to computer simulations and find that it retains great accuracy over several epochs.