Models of Computation

Other State Diagrams Monadic Numbers:
Definition:
Numbers represented in a system that contains only a single character (usually 1 or |) such that the number of elements in the representation is equal to the value of the number being represented.

Examples:

REPRESENTATION
Decimal	Monadic
1	1
2	11
4	1111
6	111111
10	1111111111

Monadic Incrementer - The instructions are:

(A, 1, A, 1, R)
(A, b, B, 1, R)

The initial configuration puts the number to be incremented on the tape, the tape head at the righthand end, and an initial state of A.

Try the string 1111

(A, 1, A, 1, R) (A, b, B, 1, R)	START	b	1	1	1	1
						A
			b	1	1	1	1
						A
				b	1	1	1	1
						A
					b	1	1	1	1
						A
						b	1	1	1	1
						A
							1	1	1	1	1
	HALT					B

Post-Class Activity:

Work through the next two slides