Вот вам
теория автоматов
и
вот еще , а вот вам
описание алгоритмов управления почитайте хоть что нибудь поймёте , т.к. переход автомата осуществляется в двоичном коде допустим 1 - 00, 2 - 01, 3 - 10, 4 - 11. все это делайте в виде двумерного массива ( матрицей )
Вот посмотри целый
сайт посвящённый цифровым автоматам в программировании