Produksjon (informatikk)

En produksjon eller en produksjonsregel er innenfor informatikken betegnelsen på en omskrivingsregel som spesifiserer at et symbol kan erstattes rekursivt ved å generere en ny symbolsekvens. Et endelig sett med produksjoner  er hovedkomponenten i spesifikasjonen av en formell grammatikk, og spesielt en generativ grammatikk. Den andre komponenten er et endelig sett med  ikke-terminale symboler, et endelig sett med  terminale symboler, kjent som et alfabet, som er disjunkt fra  og et eget symbol  som er startsymbolet.

Grammatikk
Kompilatorer