Дифференциальный автомат (17)