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 $P$ er hovedkomponenten i spesifikasjonen av en formell grammatikk, og spesielt en generativ grammatikk. Den andre komponenten er et endelig sett med $N$ ikke-terminale symboler, et endelig sett med $\Sigma$ terminale symboler, kjent som et alfabet, som er disjunkt fra $N$ og et eget symbol $S\in N$ som er startsymbolet.

Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.