|
Aplicando as xerarquía e substituíndo elementos, chegamos ao momento onde todas as categorías sintácticas convertéronse en palabras, obtendo xa que logo unha oración VALIDA. (Por exemplo: O neno corre). Este proceso chámase produción ou xeración.
En resumo:
== Elementos constituíntes ==
* Unha gramática formal é un modelo matemático composto por unha serie de categorías sintácticas que se combinan entre si por medio dunhas regras sintácticas que definen como se crea unha categoría sintáctica por medio doutras ou símbolos da gramática.
* Existe unha única categoría superior que denota cadeas completas e válidas.
== Mecanismos de especificación ==
* Por medio destes elementos constituíntes defínese un mecanismo de especificación consistente en repetir o mecanismo de substitución dunha categoría polos seus constituíntes en función das regras comezando pola categoría superior e finalizando cando a oración xa non contén ningunha categoría.
Desta forma, a gramática pode xerar ou producir cada unha das cadeas da linguaxe correspondente e só estas cadeas.
== Definición ==
Unha '''Gramática Formal''' é unha [[Tupla|cuádrupla]] <math> G = (N, T, P, S) \, </math> onde:
* <math> N </math> é un [[alfabeto]] de símbolos non terminais (variables).
* <math> T </math> é un alfabeto de símbolos terminais (constantes).
* Debe cumprirse que <math> N \cap T = \emptyset </math>. denotaremos con <math> \Sigma = N \cup T </math> o alfabeto da gramática.
* <math> S \in N </math> é o símbolo inicial ou [[axioma]] da gramática.
* <math> P \,</math>é o conxunto de regras de produción, da forma <math> P = \,</math> { α → β | α <math> \in \Sigma^* N \Sigma^* </math> β <math> \in \Sigma^* </math> }
É dicir, a cadea α debe conter polo menos unha variable, que pode estar rodeada dun ''contexto''.
== Derivacións ==
| 