Изменения

Перейти к: навигация, поиск

Формальные грамматики

78 байт убрано, 21:44, 13 января 2014
Примеры грамматик
<br/>
<tex>\begin{array}{lcr}
S \to (S);\\S \rightarrow to SS;\\S \rightarrow to \varepsilon.
\end{array}
</tex><br/>
Вывод строки <tex>(()())</tex>:<br/>
$<tex>S\rightarrowto(S)\rightarrowto(SS)\rightarrowto((S)S)\rightarrowto((S)(S))\rightarrowto(()(S))\rightarrowto(()())</tex>$.
Вывод строки <tex>((()())(()))</tex>:<br/>
<tex>S\rightarrowto(S)\rightarrowto(SS)\rightarrow((S)S)\rightarrow((S)(S))\rightarrow</tex><br/>
<tex>\rightarrow((SS)((S)))\rightarrow (((S)S)((S))) \rightarrow ((()S)((S)))\rightarrow</tex><br/><tex>\rightarrow((()(S))((S)))\rightarrow ((()())((S)))\rightarrow ((()())(()))</tex>.
394
правки

Навигация