конечный автомат

Задание: написать функцию, которая выполняет один цикл работы недетермированного конечного автомата и процедуру распознавания слов недетерминированным конечным автоматом

пытаюсь создать вымышленный конечный автоматпоследовательность выполнения действий в программе: 1) заполняю элементами списки alphabet, listStates, listLabels

Набросал пример исходя из описания алгоритмаХочу услышать замечания, что стоило бы изменить в этом коде: