**Finding identities for the Noki 5110**

Harold Thimbleby - http://www.uclic.ucl.ac.uk/harold

This file is the background for establishing some matrix identities for the Nokia 5110 example used in the papers.

### •**Define the Nokia 5110 FSM**

First we define the Nokia using a tree, and symbolic names taken from the device itself. This tree was then carefully checked against the Nokia itself.

### •Convert tree to matrix

Normalise function inserts self-transitions as needed.

Utilities for creating state vectors from state names.

### •Matrix definitions

These are the button names in the device.

Number of states.

Define useful matrix names. The Nokia's actual Navi button is a combination of what we've called Doit and Select.

### •Find identities and interesting facts

Converted by *Mathematica*
(May 2, 2003)