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