Для цитирования:

Подловченко Р.И. Конечные автоматы в теории алгебраических схем программ. Труды Института системного программирования РАН. 2015;27(2):161-172. https://doi.org/10.15514/ISPRAS-2015-27(2)-10

For citation:

Podlovchenko R.I. Finite state automata in the theory of algebraic program schemata. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(2):161-172. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(2)-10