Книга: Дмитрий Калугин-Балашов «Алгебраические уравнения и системы над некоммутативным кольцом»

Производитель: "LAP Lambert Academic Publishing"

Математическая теория формальных языков и грамматик является одной из теоретических основ информатики. Центральное место в теории формальных грамматик занимаютконтекстно-свободные языки и контекстно-свободные грамматики, порождающие эти языки, которые были введены при попытке построить адекватную модель естественных языков, например, английского языка. В настоящее время замечено, что класс контекстно-свободых языков совпадает с некоторыми классами языков программирования, поэтому исследование контекстно-свободных грамматик, порождающих эти языки, является одной из задач информатики. Правила вывода контексно-свободной грамматики можно представить в виде системы полиномиальных уравнений с некоммутативным умножением, которая должна быть разрешена относительно группы переменных в виде формальныхстепенных рядов, зависящих от остальных переменных. Первая компонента решения и является соответствующим контекстно-свободным языком. Таким образом, возникает задача решения систем алгебраических... ISBN:9783659001826

Издательство: "LAP Lambert Academic Publishing" (2012)

ISBN: 9783659001826