Revisión como estaba o 1 de xuño de 2012 ás 20:59 editar HombreDHojalata (conversa \| contribucións) 235.605 edicións Sen resumo de edición ← Edición máis vella		Revisión como estaba o 3 de agosto de 2012 ás 14:35 editar desfacer Servando2 (conversa \| contribucións) 54.146 edicións hasta > ata Edición máis nova →
Liña 80: * β '''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> óo peche reflexivo e transitivo de <math> \Rightarrow </math>. É dicir α <math> \Rightarrow^* </math> β denota a unha secuencia de derivacións nun número arbitrario de pasos dende α ~~hasta~~ata β. * <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~~dise que x é unha '''sentenza''' * Denomínase '''linguaxe formal xerado por G''' ó conxunto <math> L(G) = \{x \in T^* \| S \Rightarrow^* x \}</math>

Gramática formal: Diferenzas entre revisións