> -- Rifat писал(а):
> Кстати, кто-нибудь из посетителей данного форума использует формальные методы на практике? Насколько успешно?Когда я в учебных целях перепахивал Блэкбокс и делал из него компилятор командной строки, то в основном пользовался именно формальными методами. То есть делал эквивалентные преобразования исходного кода часто (но не всегда) даже не вникая в суть алгоритмов, реализованных в этом коде. Но никакой супертеории у меня не было. Действовал исходя из своей интуиции и здравого смысла. Результат был довольно успешным. По крайней мере, Блэкбокс, которым я сейчас пользуюсь, откомпилирован и скомпонован моим же компилятором.

Тем не менее, полученные мной исходные коды я считаю очень сырыми. Главной целью был не сам компилятор, а изучение исходных кодов Блэкбокс.