PFL4 дифференциальный автомат