Прошу прочесть
http://depositfiles.com/files/1m2fe62rk
рисунки в
http://depositfiles.com/files/ezgcjartu
(вместо модной и занудно-дорогой Model Checking)
и дать конструктивную критику.
Если кому понравится метод,
то не попробуете ли запрограммировать ?
Нечто подобное я делал еще на ЕС 1060
и чуть позже на древнем IBM PC в Турбо С
Да и где сейчас эти пятидюймовые дискеты - на какой промышленной свалке ?
Могу давать подсказки,если понадобятся.
Спасибо за внимание.
Это очень конструктивный и благожелательный форум
С уважением