Consider the state machine in Figure $3\mathrm{.}15.$ State whether each of the following is

a behavior for this machine. In each of the following, the ellipsis $$ means that

the last symbol is repeated forever. Also, for readability, absent is denoted by the

shorthand a and present by the shorthand p$.$