Бұл формуланың айқындығын көрсету үшін -кестесі бойынша берілген -грамматикасының тұрғызылу тәсілін мазмұндайық. Айтарлық -кестелі берілген және -грамматикасын құру керек.
Бұны орындауға болады, себебі -кестесі жай және оның әр ережесі үнемі бір терминал емес символдарды бір ретпен қолданылады. әңгімеленген тұжырымды мысалмен толықтырайық:
шынжырының құрылған грамматиканың ережелерін қолданумен ауысымы келесі шығарылу көмегімен алынуы мүмкін:
Алынған шынжырдан алдымен шығыс, одан кіріс символдарын шығара отырып келесі шығару жұбын аламыз:
ол -кестесінде берілген шығыс нәтижелеріне сәйкес келеді.
Достарыңызбен бөлісу: |