Теория формальных систем и алгоритмов, Вялый М. Н. 23.09.2021г.