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