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