Gramàtica formal: diferència entre les revisions

Contingut suprimit Contingut afegit
m Afegida la plantilla {{Autoritat}} a l'article
m |thumb|230px -> |miniatura
Línia 1:
[[Fitxer:Entitats sintàctiques.svg|thumb|230pxminiatura|right|Aquesta imatge mostra la relació entre les [[Cadena de caràcters|cadenes de caràcters]], les [[Fórmula ben formada|fórmules ben formades]] i els [[teorema|teoremes]]. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades.]]
 
Una ''' gramàtica formal ''' és un objecte o model matemàtic que permet especificar un llenguatge o llengua, és a dir, és el conjunt de regles capaços de generar totes les possibilitats combinatòries de l'idioma, ja sigui aquest un [[llenguatge formal]] o un [[llenguatge natural]].