ПодУ завршнимтеорији симболимаформалних језика се под (енг.'''-{terminalзавршним symbols}-симболима''',терминални({{јез-енг|terminal симболиsymbols}}) граматике се подразумевају слова азбуке над којом је конструисана граматика. Свака реч језика је пре свега ниска завршних симбола граматике, који су поређани по неком редоследу зависно од правила граматике. У [[контекстно слободна граматика|контекстно слободним граматикама]] завршни симболи могу учествовати само са десне стране правила. У [[Дрво извођења|дрвету извођења]] произвољне ниске у некој граматици, завршни симболи се могу наћи само као листови тог дрвета.
Скуп '''незавршних симбола (енг.'''- ({{јез-енг|nonterminals}-}''', нетерминални, помоћни симболи) је скуп симбола помоћу којих се конструишу правила извођења у [[формалне граматике|формалној граматици]]. Процес извођења ниске у некој граматици се састоји у узастопном примењивању правила граматике. Притом, незавршни симболи се замењују завршним симболима, другим незавршним симболима или њиховом комбинацијом. Почетни симбол граматике је такође незавршни.
Незавршни симболи граматике не могу бити листови дрвета извођења, јер се, у супротном, дописивањем листова добија реч из језика која садржи незавршни симбол. То је немогуће, јер се при одређивању скупа помоћних симбола за неку граматику захтева да он буде дисјунктан са азбуком тј. скупом завршних симбола.
Ред 38:
-{ '''broj'''}-
== Референце ==
* ''Витас, Душко М., „Преводиоци и интерпретатори (Увод у теорију и методе компилације програмских језика )“, Математички факултет,Београд 2006.''
