Алгебраические уравнения и системы над некоммутативным кольцом
Автор:Калугин-Балашов Дмитрий Год: 2012 Издание:LAP Lambert Academic Publishing Страниц: 56 ISBN: 9783659001826 Математическая теория формальных языков и грамматик является одной из теоретических основ информатики. Центральное место в теории формальных грамматик занимают контекстно-свободные языки и контекстно-свободные грамматики, порождающие эти языки, которые были введены при попытке построить адекватную модель естественных языков, например, английского языка. В настоящее время замечено, что класс контекстно-свободых языков совпадает с некоторыми классами языков программирования, поэтому исследование контекстно-свободных грамматик, порождающих эти языки, является одной из задач информатики. Правила вывода контексно-свободной грамматики можно представить в виде системы полиномиальных уравнений с некоммутативным умножением, которая должна быть разрешена относительно группы переменных в виде формальных степенных рядов, зависящих от остальных переменных. Первая компонента решения и является соответствующим контекстно-свободным языком. Таким образом, возникает задача решения систем алгебраических...
