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