Nietterminale

Nietterminale is een term uit de formele taalkunde en de theoretische informatica. In een formele grammatica is een nietterminale een symbool dat vervangen kan worden door een reeks terminals en/of andere nietterminale symbolen volgens de productie-regels. Terminals zijn de symbolen die daadwerkelijk in de taal voorkomen; nietterminale symbolen dienen louter als bouwstenen voor syntactische structuur.

Een grammatica bestaat doorgaans uit een alfabet van terminals, een alfabet van nietterminals, een set productie-regels en een startsymbool. Het startsymbool is altijd een nietterminale en fungeert als hoofdingangspunt voor afleidingen. Door herhaaldelijk toe te passen welke symbolen vervangen door welke volgorde, kunnen zinsvormige uitdrukkingen of strings gevormd worden.

Kenmerkend is het verschil tussen nietterminale en terminal symbolen: nietterminale symbolen worden gebruikt om hiërarchie en structuur uit te drukken, terwijl terminals de uiteindelijke taaltekens vormen die in de string verschijnen. Derivaties leiden tot parse- of syntaxisbomen die de opbouw van een zin weergeven.

Voorbeeld: stel een eenvoudige grammatica G met terminals {a, b}, nietterminals {S, A, B}, start S en producties: S → AB | a, A → a, B → b. Een mogelijke afleiding is S ⇒ AB ⇒ aB ⇒ ab, wat een geldige string in de taal van G oplevert.

Toepassingen omvatten linguïstiek, compilerontwerp en natuurlijke taalverwerking, waar nietterminals de structuur van zinnen en programma-syntaxis definiëren en analyseren.