TY - BOOK TI - Методы анализа машин-автоматов: Ч. 1 PY - 1945/// CY - Москва PB - Б. и. KW - მათემატიკური მოდელირება ER -