Pierwszy wiersz oznacza stan prawego sąsiada.

Stan Q A000 A001 A100 A101 A010 A011 A110 A111 Q A001 A000 A101 A100 R0 Q Q Q B A001 A000 A101 A100 R0 Q Q Q R0 A001 A000 A101 A100 Q Q Q Q R1 A001 A000 A101 A100 P0 B0 P1 B0 φ P0 P1 P0 P1

Q B R0 R1 P0 P1 φ A000 R1 R1 A001 Q Q Q B0 A100 Q Q A101 Q Q A010 A011 A011 P0 A011 A010 A010 P1 A110 A111 A111 P0 A111 A110 A110 P1 Q Q Q R0 Q A000 A100 Q γ A000

Q B R0 R1 P0 P1 φ γ B Q Q R0 Q Q Q R0 Q Q A000 Q R1 R1 R1 R1 R1 P0 A010 Q R0 Q P0 P0 P1 A110 Q R0 Q P0 P0 φ Q

Stan B0 γ P A000 A100 A001 A101 R0 γ B0 B0 P0 P1 P1 P0 R0 P B0 P0 R0 A010 P0 A110 P1 A011 P1 A111 P0 R1 R1

Stan B1 γ P A000 A100 A001 A101 R0 γ B1 P0 P1 P1 P0 Q P P0 A010 P0 A110 P1 A011 P1 A111 P0 R1 Q

Stan R0 γ γ Q B0 B1 B1 B0 P B0

Stan R1 nie B, P B0 B1 P γ Q B1 B0 B0

Stan P0 nie P, φ P φ nie P, φ P0 P0 P0 P P0 T T φ P0 T

Stan P1 nie P, φ P φ nie P, φ P1 P1 P1 P P1 T T φ P1 T

Stan A000 nie P0 P0 γ Q B0

Stan A001 γ γ Q

Stan A100 γ nie B R1 B P1

Stan A101 γ nie B Q B P0

Stan A010 γ nie P0 Q P0 B0

Stan A011 γ γ Q

Stan A110 nie B B γ R0 P1

Stan A111 nie B B γ Q P0