Example

These productions can be turned into transition functions by rearranging the components:

This yields the following table:

(start)	(q0, , z) {(q1, Sz)}
Sa,	(q1, a, S){(q1, )}
SaAB,	(q1, a, S){(q1, AB)}
AaA,	(q1, a, A){(q1, A)}
Aa,	(q1, a, A){(q1, )}
BbB,	(q1, b, B){(q1, B)}
Bb	(q1, b, B){(q1, )}
(finish)	(q1, , z) {(qf, z)}

For example, the derivation

S aAB aaB aabB aabb

(q₀, aabb, z) (q₁, aabb, Sz) (q₁, abb, ABz) (q₁, bb, Bz)
(q₁, b, Bz) (q₁, , z) (q₂, , )