Ramadge-Wonham yöntemi kullanılarak elde edilen bir gözeticinin PLC'lere yüklenmek üzere kontrol koduna dönüştürülmesi için genel bir yöntem için istatistikler