Смотреть видео: PPT - Автоматный подход к определению операционной семантики языков предметной о