There are a number of notations in which models for interpreting the rules of the automaton can be formulated:
Transition diagramme:

Matrix:
| Q | | |||||
| highstreet | elmroad | parkavenue | oaklane | millcrescent | ||
| HOME | BANK | CHURCH | ||||
| BANK | CAFE | |||||
| CHURCH | CAFE | |||||
| CAFE | BANK | |||||
| CAFE | [final] | |||||
Task: