Gramática formal: Diferenzas entre revisións
Contido eliminado Contido engadido
m {{atención}} |
m revisión das traduccións |
||
Liña 1:
Unha '''gramática formal''' é
▲Unha '''gramática formal''' é obxecto ou modelo matemático que permite especificar unha linguaxe ou lingua, é dicir, é o conxunto de regras capaces de xerar todas as posibilidades combinatorias desa linguaxe, xa sexa este unha [[linguaxe formal]] ou unha [[linguaxe natural]].
==Introdución==
A expresión «gramática formal» ten dous sentidos:
Liña 25 ⟶ 24:
bbbdeccc, de, bdec, ... Estas serían tres posibles realizacións da linguaxe cuxa gramática definimos con dúas regras.
Para comprender mellor o concepto poremos algunhas regras da gramática
* Unha FRASE pódese compor de SUXEITO + PREDICADO<br /><math>Ou = SN + SV</math>
Liña 41 ⟶ 40:
A categoría superior sería a FRASE que representa unha oración válida en lingua castelá.
Ao finalizar toda a xerarquía chegamos ás [[palabras]] que son as unidades mínimas con significado que pode adoptar unha frase.
Liña 66 ⟶ 65:
* <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> 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> }
Liña 75 ⟶ 74:
== Derivacións ==
Sea <math> G = (N,T,P,S) </math> una gramática,
* β '''derivase''' de α nun paso de derivación, e denotámolo con α <math> \Rightarrow </math> β se existen dúas cadas <math> \phi_1, \phi_2 \in \Sigma^*</math>, e unha producción δ → ρ tales que α = <math> \phi_1 </math> δ <math> \phi_2 </math>, e β = <math> \phi_1 </math> ρ <math> \phi_2 </math>
* Notamos con <math> \Rightarrow^* </math> ó peche reflexivo e transitivo de <math> \Rightarrow </math>. É dicir α <math> \Rightarrow^* </math> β denota a unha
* <math> x \in \Sigma^* </math> é unha '''forma sentencial''' de <math>G</math>, pódese obter a seguinte secuencia de derivacións <math>S \Rightarrow^* x</math> . No caso particular de que <math> x \in T^* </math> dícese que x é unha '''sentenza'''
| |||