The paper presents a toolset for the formalization of syntactic theories in the framework of Noam Chomsky’s Minimalist Program in generative linguistics. It comprises a set of formal instruments in Agda language, allowing to define derivation trees, syntactic objects and principal notions of minimalist theory—the operation Merge, features, copies, chains, c-command, etc. At the same time, the formalism omits the operation Agree and phase theory.
В статье представлен инструментарий для формализации синтаксических теорий в рамках минималистской программы Н. Хомского (Minimalist Program) в генеративной лингвистике. Он представляет собой набор формальных конструкций в языке Agda, позволяющих определить деревья вывода, синтаксические объекты и основные понятия минималистской теории — операцию соединения (Merge), признаки, копии, цепи, c-командование и др. В то же время, в формализме опущены операция согласования (Agree) и теория фаз.