Мили
Автомат Мили — совокупность formula_1, где