文摘
This paper presents a mathematical apparatus for the description of context-dependent grammars of artificial languages, viz., their syntax, as well as their logical and generating semantics. Examples that demonstrate the applicability of the suggested apparatus are given; the model of formal languages (Chomsky generating grammars) is compared with the model of artificial languages introduced in this work.