О существовании порождающей КС-грамматики для произвольной линейной диофантовой системы

Abstract

В работе доказывается существование контекстно-свободной грамматики и терминальной цепочки, порождающих произвольно заданную систему линейных диофантовых уравнений (ЛДУ).In this paper we prove the existance of a context-free grammar and a terminal string, which generate a given system of linear diophantine equations.