Exploratory Assignment: Describing Behavior

Your challenge is to explore the behavior of the following automata, and come up with a concise description of that behavior in natural language.

• The numbered tabs at the top are used to select a particular automaton.
• Each automaton takes input through a number of labeled buttons (in yellow).
• The output is given by lighting (in blue) one of the output symbols. Typically the output symbols are + or - (for "accept" and "reject").
• The automaton can be reset through the initialize button, to start over again from the beginning.

Note that also the initial output (without any input) is relevant.

For your convenience, the history of your interaction with the automaton is recorded in the text area below the buttons. Initially, and after each new input, the complete sequence of input button labels since the preceding initialization is shown together with the latest output. The history is in reverse chronological order (latest at the top).

• These automata work through a computable document provided by us in the Computable Document Format (CDF). A CDF can be executed by the (free) Wolfram CDF Player, either locally or via a browser plug-in.
• During the lab session you will be assisted in installing a CDF Player, if needed.

Go ahead!