RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika. Supplement // Archive

Prikl. Diskr. Mat. Suppl., 2022 Issue 15, Pages 78–80 (Mi pdma585)

Mathematical Foundations of Computer Security, Informatics and Programming

Polynomial grammars generating an infinite set of languages

O. I. Egorushkin, I. V. Kolbasina, K. V. Safonov

M. F. Reshetnev Siberian State University of Science and Technologies

Abstract: We continue the study of formal grammars, by which we mean systems of polynomial equations with respect to noncommutative variables, which are solved in the form of formal power series expressing nonterminal alphabet symbols through terminal alphabet symbols. The first component of the solution is a formal language. The definition of a grammar having infinitely many solutions (generating an infinite number of languages) is considered. Such grammars can arise in a situation, where the Jacobian of the commutative image of the grammar is identically equal to zero. It is shown that in the case of the Jacobian, which is identically equal to zero, it is more difficult to describe the set of grammatical solutions than for similar polynomial systems with real or complex variables, since all possible situations can be realized: such a grammar may have infinitely many solutions, any finite number of solutions, or no solutions at all.

Keywords: polynomial grammars, noncommutative variables, formal power series, commutative image, Jacobian.

UDC: 519.682

DOI: 10.17223/2226308X/15/20



© Steklov Math. Inst. of RAS, 2024