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