Язык Plog: проект пешеходного светофора

В качестве примера рассмотрим проект светофора для пешеходного перехода. Имеем следующее оборудование:

• светофор для автомобилей, три сигнала: красный, желтый, зеленый
• светофор для пешеходов, два сигнала: стойте, идите
• кнопка запроса на переход для пешехода
• служебная кнопка сброса светофора в исходное состояние
• генератор импульсов, задающий время

В обычном состоянии автомобильный светофор должен быть открыт (зеленый), а пешеходный - закрыт (красный). По нажатию пешеходной кнопки светофоры должны переключиться, открыв пешеходный переход, затем вернуться в исходное состояние. ( Дальше... )

“Примерная” реализация светофора на языке Plog приведена здксь: http://vak.ru/doku.php/proj/verilog/tlight-plog
Спецификация языка еще не готова, пока только образец кода. После компиляции должен получиться примерно такой код на Верилоге: http://vak.ru/doku.php/proj/verilog/tlight-v
Можно видеть, как компилятор создает набор состояний и переходов конечного автомата.