Завршни и незавршни симболи — разлика између измена

Под завршним симболима(енг.'''terminal symbols''', терминални симболи) граматике подразумевамосе подразумевају слова азбуке над којом је конструисана граматика. Свака реч језика је пре свега ниска завршних симбола граматике, који су поређани по неком редоследу зависно од правила граматике. У [[контекстно слободне граматике|контекстно слободним граматикама]] завршни симболи могу учествовати само са десне стране правила. У [[дрво извођења|дрвету извођења]] произвољне ниске у некој граматици, завршни симболи се могу наћи само као листови тог дрвета.

Скуп незавршних симбола (енг.'''nonterminals''', нетерминални, помоћни симболи) је скуп симбола помоћу којих се конструишу правила извођења у [[формалне граматике|формалној граматици]]. Процес извођења ниске у некој граматици се састоји у узастопном примењивању правила граматике. Притом, незавршни симболи се замењују завршним симболима, другим незавршним симболима или њиховом комбинацијом. Почетни симбол граматике је такође незавршни.

Незавршни симболи граматике не могу бити листови дрвета извођења, јер бисе, у супротном, дописивањем листова добилидобја реч из језика која садржи незавршни симбол. То је немогуће, јер се при одређивању скупа помоћних симбола за неку граматику захтева да он буде дисјунктан са азбуком тј. скупом завршних симбола.

ЗавршнеЗавршни симболесимболи се обично обележавамообележавају малим словима абецеде: a,b,c,d......

НезавршнеНезавршни симболесимболи се обично обележавамообележавају великим словима абецеде: A,B,C,D......

Речи једног језика или њихове префиксе, суфиксе и инфиксе означавамосе означавају: u,w,v,y,x....

Ниске које добијамосе добијају у процесу извођења, а које садрже и незавршне симболе обележавамообележавају се са: α,β,γ,δ...

За извођење из претходног примера имамодобија се следеће дрво: