Gramática formal: Diferenzas entre revisións

Unha '''gramática formal''' é unha estrutura matemática cun conxunto de regras de formación que definen as [[cadeas de caracteres]] admisibles nunha determinada [[linguaxe formal]] ou [[Linguaxe humana|linguaxe natural]]. As gramáticas formais aparecen en varios contextos diferentes: a [[lóxica matemática]], as [[ciencias da computación]] e a [[lingüística]] teórica, a miúdo con métodos e intereses diverxentes.