диаграмма состояний STD, State-Transition Diagram методология моделирования последующего функционирования системы на основе её предыдущего и текущего функционирования
конечный автомат с высокой степенью кодирования последовательности состояний highly encoded state machine напр., с использованием четырех триггеров для двоичного кодирования 16 состояний
программная система моделирования логики с бесконечным числом состояний ISLS, Infinite State Logic Simulator
система моделирования логики с бесконечным числом состояний ISLS, Infinite State Logic Simulator