Todavía estoy realmente nuevo notaciones matemáticas, y todavía estoy teniendo dificultad para la comprensión de la mayoría de los lenguajes y notaciones.
Un reciente notación estoy muy confundido acerca de es:$\def\starrow{\stackrel\ast\Rightarrow}\starrow$ .
He encontrado que ⇒ significa implicación material (http://en.wikipedia.org/wiki/List_of_logic_symbols), y * a (http://en.wikipedia.org/wiki/Kleene_star).
Una explicación de los laicos del término, o más basada conceptualmente, sería preferible, gracias!
El ejemplo que yo estaba viendo era:
$$\begin{align} S2 &\starrow \underbrace{S1S1 \cdots S1}_{\text{%#%#% times}} | \{z \}\\ S2 & ⇒ \underbrace{S1S1 \cdots S1}_{\text{%#%#% times}} | \{z \} \\ & ∗⇒ w1w2\cdots wn = w \end{align}$$
Donde $n$ pertenece a una gramática en $n$ $S2$ pertenece a una gramática en $A^*$.
