Generation and analysis of lamplighter programs
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.
READ FULL TEXT