Gramática formal: Diferenzas entre revisións
Contido eliminado Contido engadido
m Bot: Reemprazo de texto automático (-[[categoría: +[[Categoría:) |
RNC (conversa | contribucións) mSen resumo de edición |
||
Liña 1:
Unha '''gramática formal''' é un
==Introdución==
A expresión «gramática formal» ten dous sentidos:
Liña 27:
* Unha FRASE pódese compor de SUXEITO + PREDICADO<br /><math>Ou = SN + SV</math>
* Un SUXEITO pódese compor dun ARTIGO +
* Un PREDICADO pódese compor dun VERBO conxugado<br /><math>SV = Aux + GV</math>
* Un
* Un NOME ou SUBSTANTIVO pode ser "neno"
* etc... [Véxase [[Regras de
Vemos que existen unhas definicións especiais como FRASE, SUXEITO, etc... que non aparecen na frase final formada. Son unhas entidades abstractas denominadas [[Categorías Sintácticas]] que non son utilizables nunha frase.
Liña 38:
Existe unha xerarquía interna entre as categorías sintácticas.
A categoría superior sería a FRASE que representa unha oración válida en lingua
Baixo dela atópanse os seus compoñentes. Ningunha destas categorías dan lugar a frases válidas só a categoría superior.
Liña 53:
*Existe unha única categoría superior que denota cadeas completas e válidas.
==Mecanismos de
*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.
Liña 68:
* <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> }
[[Categoría:Linguaxes formais]]▼
É dicir, a cadea α debe conter polo menos unha variable, que pode estar rodeada dun ''contexto''.
Liña 74:
==Derivacións==
* β '''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 produció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'''
* Denomínase '''linguaxe formal xerado por G''' ó conxunto <math> L(G) = \{x \in T^* | S \Rightarrow^* x \}</math>
[[bs:Formalna gramatika]]
| |||