Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Фундаментальные и прикладные проблемы математики и информатики в современной науке: теория и практика актуальных исследований; Махачкала; Махачкала
Год издания: 2022
Ключевые слова: polynomial grammars, non-commutative variables, formal power series, commutative image, jacobian, полиномиальные грамматики, некоммутативные переменные, формальный степенной ряд, коммутативный образ, якобиан
Аннотация: В работе продолжается исследование формальных грамматик, под которыми подразумеваются системы полиномиальных уравнений относительно некоммутативных переменных, которые решаются в виде формальных степенных рядов. Рассмотрено определение грамматики, имеющей бесконечно много решений (порождающей бесконечное множество языков). ПоказаноПоказать полностью, что в случае, если якобиан коммутативного образа, тождественно равен нулю, описание множества решений грамматики сложнее, чем для аналогичных полиномиальных систем с вещественными или комплексными переменными. The paper continues the study of formal grammars, which mean systems of polynomial equations with respect to noncommutative variables, which are solved in the form of formal power series. A definition of a grammar having infinitely many solutions (generating an infinite number of languages) is considered. It is shown that if Jacobian of the commutative image identically equals zero, describing the set of grammar solutions is more difficult than for similar polynomial systems with real or complex variables.
Журнал: Фундаментальные и прикладные проблемы математики и информатики в современной науке: теория и практика актуальных исследований
Номера страниц: 53-55
Место издания: Махачкала
Издатель: Типография ФОРМАТ