Brontekst bekijken van Terminale en niet-terminale symbolen

In de [[informatica]] en [[taalkunde]] worden '''terminale en niet-terminale symbolen''' gebruikt in de [[productieregel]]s van een [[formele grammatica]]. De terminale symbolen vormen de symbolen in de [[String (informatica)|strings]] die gegenereerd worden door de grammatica. De niet-terminale symbolen worden gebruikt om strings te vervangen door andere strings die bestaan uit terminale of niet-terminale symbolen. Zinnen in een formele taal worden gegenereerd door productieregels toe te passen op niet-terminale symbolen totdat de geproduceerde string geen niet-terminale symbolen meer bevat.

==Voorbeelden==

===Voorbeeld 1===

Stel we hebben een alfabet met de letters <math>a</math>, <math>b</math> en <math>c</math>, het startsymbool <math>S</math> en de volgende productieregels:

# <math>S \rightarrow aSb</math>
# <math>S \rightarrow bA</math>
# <math>A \rightarrow ba</math>
# <math>A \rightarrow c</math>

In deze grammatica zijn <math>S</math> en <math>A</math> de niet-terminale symbolen en <math>a</math>, <math>b</math> en <math>c</math> de terminale symbolen.

===Voorbeeld 2===

Een ander voorbeeld, genoteerd in [[EBNF]]:

# Integer <math>\rightarrow</math> (-)? Digit+
# Digit <math>\rightarrow</math> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

In deze grammatica zijn <math>\{ -, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \} </math> de terminale symbolen en <math>\{ \mathit{Integer}, \mathit{Digit} \}</math> de niet-terminale symbolen.

[[Categorie:Formele taal]]