To get an idea of how to use some of the features of the LCAU programs, consider the exercise of designing a binary counter for a (4,1) automaton. The reason for choosing a quaternary automaton is that the two states of the counter, ``0'' and ``1'', can occupy two states of the automaton, the quiescent background another, with one more state left over to represent a carry; this state can be mobile---a glider.
This automaton can be devised using the line editing portion of the main menu, in interaction with the rule display occupying its niche in the same menu.