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