Дәлелдеу. Мейлі - грамматикасы және сәйкесінше теоремамен 4.4 біз эквиваленттік таба аламыз , сондайды , не жиын оны Р бірде бір шынжырды ережелерде асырмайды. Солай келгенде, егер ереже оң бөлімі бір символдан түзелсе, онда мына символ - терминал болады, және мына ереже қабылдауға болатын түрде орнында болады .
Достарыңызбен бөлісу: |