English translation is not available yet. Showing Russian content.
Formal language
Formal language
Определение
Язык с однозначной грамматикой и семантикой, используемый для точного описания алгоритмов и рассуждений. Альтернатива естественному языку в сложных логических выводах.