Робота складається з трьох розділів. У першому розділі розглянуто базові поняття. Дано визначення предметно-орієнтованих мов програмування, розглянуто типи та їх особливості, а також переваги та недоліки використання. Також описано математичну модель скінченного автомату, та наведено приклад використання. У другому розділі описано взірці реалізації моделі скінченного автомату в імперативних мовах програмування, розглянуто їхні переваги та недоліки. Також у другому розділі виведено синтаксис предметно-орієнтованої мови програмування для скінченних автоматів, та подано його в BNF формі. Третій розділ містить детальний опис реалізації компілятора для компіляції отриманого синтаксису.