Završni i nezavršni znakovi

višeznačna odrednica na Vikimediji

U kompjuterstvu, završni i nezavršni znakovi su oni znakovi (simboli) koji su korišteni za konstruisanje pravila produkcije u formalnoj gramatici. Dok završni znakovi oblikuju dijelove nizova znakova koje gramatika generiše, nezavršni znakovi preslikavaju imena produkcija gramatike i na taj način generišu nizove znakova supstitucijom bilo drugih nezavršnih znakova, bilo završnih znakova (ili nekom njihovom kombinacijom).

Na primjer, za predstavljanje cijelog broja (engl. integer) možemo zadati sljedeći opis u BNF notaciji:

<cijeli_broj> ::= ['-'] <digit> {<digit>}
<cifra> ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'

Ovdje su znakovi (-,0,1,2,3,4,5,6,7,8,9) završni, dok su <cifra> i <cijeli_broj> nezavršni znakovi.

Reference

uredi
  • Aho, Sethi, & Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986.