Grammatica formale
Verificato
Significato di «Grammatica formale»
Insieme finito di regole di produzione che, a partire da un simbolo iniziale, genera tutte e sole le stringhe valide di un linguaggio formale, definendone la sintassi in modo rigoroso e non ambiguo.
Fonti: Regole di riscrittura su simboli terminali e non terminali che generano un linguaggio. Fonti: Wikipedia (Grammatica formale); Sipser, Introduction to the Theory of Computation. Verifica web 2026-08-03. · Verificato il 2026-08-03