Generation and analysis of lamplighter programs

07/09/2017

∙

by   Carlos Martin, et al.

∙

0

∙

share

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 with the goal of avoiding repetition of equivalent programs.