Geodesic
An analogue of implicit mapping theorem to formal grammars
Prikladnaya Diskretnaya Matematika. Supplement, no. 10 (2017), pp. 149-151.

Voir la notice de l'article provenant de la source Math-Net.Ru

In the paper, some approaches to solving the systems of non-commutative polynomial equations in the form of formal power series (FPS) are developed. The approaches are based on the relation of such equations with the corresponding commutative equations. Every FPS is mapped to its commutative image – power series, which is obtained under the assumption that the symbols in it denote commutative variables with the values in the field of complex numbers. The consistency of the system of non-commutative polynomial equations, which is not directly connected with the consistency of its commutative image, is investigated. However, the analogue of the implicit mapping theorem to formal grammars (non-commutative systems) is obtained, namely if the condition of the implicit mapping theorem holds for the commutative image of the system, then not only this, but the initial non-commutative system of equations has a unique solution in the form of FPS.
Keywords: systems of polynomial equations, formal power series, commutative image
Mots-clés : non-commutative variables, Jacobian. 
@article{PDMA_2017_10_a57,
     author = {O. I. Egorushkin and I. V. Kolbasina and K. V. Safonov},
     title = {An analogue of implicit mapping theorem to formal grammars},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {149--151},
     publisher = {mathdoc},
     number = {10},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2017_10_a57/}
}
TY  - JOUR
AU  - O. I. Egorushkin
AU  - I. V. Kolbasina
AU  - K. V. Safonov
TI  - An analogue of implicit mapping theorem to formal grammars
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2017
SP  - 149
EP  - 151
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2017_10_a57/
LA  - ru
ID  - PDMA_2017_10_a57
ER  - 
%0 Journal Article
%A O. I. Egorushkin
%A I. V. Kolbasina
%A K. V. Safonov
%T An analogue of implicit mapping theorem to formal grammars
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2017
%P 149-151
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2017_10_a57/
%G ru
%F PDMA_2017_10_a57
O. I. Egorushkin; I. V. Kolbasina; K. V. Safonov. An analogue of implicit mapping theorem to formal grammars. Prikladnaya Diskretnaya Matematika. Supplement, no. 10 (2017), pp. 149-151. http://geodesic.mathdoc.fr/item/PDMA_2017_10_a57/

[1] Egorushkin O. I., Kolbasina I. V., Safonov K. V., “O sovmestnosti sistem simvolnykh polinomialnykh uravnenii i ikh prilozhenii”, Prikladnaya diskretnaya matematika. Prilozhenie, 2016, no. 9, 119–121 | DOI

[2] Egorushkin O. I., Kolbasina I. V., Safonov K. V., “On solvability of systems of symbolic polynomial equations”, Zhurn. SFU. Ser. Matem. i fiz., 9:2 (2016), 166–172 | DOI | MR

[3] Glushkov V. M., Tseitlin G. E., Yuschenko E. L., Algebra. Yazyki. Programmirovanie, Naukova dumka, Kiev, 1973 | MR

[4] Salomaa A., Soitolla M., Automata-Theoretic Aspects of Formal Power Series, Springer Verlag, N.Y., 1978 | MR | Zbl

[5] Semënov A. L., “Algoritmicheskie problemy dlya stepennykh ryadov i kontekstno-svobodnykh grammatik”, Doklady AN SSSR, 212 (1973), 50–52 | Zbl

[6] Safonov K. V., Egorushkin O. I., “O sintaksicheskom analize i probleme V. M. Glushkova raspoznavaniya kontekstno-svobodnykh yazykov Khomskogo”, Vestnik Tomskogo gosudarstvennogo universiteta. Prilozhenie, 2006, no. 17, 63–67

[7] Safonov K. V., “Ob usloviyakh algebraichnosti i ratsionalnosti summy stepennogo ryada”, Matem. zametki, 41:3 (1987), 325–332 | MR | Zbl

[8] Safonov K. V., “On power series of algebraic and rational functions in $C^n$”, J. Math. Analysis Appl., 243 (2000), 261–277 | DOI | MR | Zbl