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

Д. Ж. Корзун

Петрозаводский государственный университет, математический факультет

Аннотация: В работе доказывается существование контекстно-свободной грамматики и терминальной цепочки, порождающих произвольно заданную систему линейных диофантовых уравнений (ЛДУ).

УДК: 519.7, 511.512

Реферативные базы данных:

• 
•