Изменения

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

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

21 байт добавлено, 05:52, 10 ноября 2011
фикс структуры
= Определения =
{{Определение
|definition =
}}
==Примеры грамматик=====Правильные скобочные последовательности===
<tex>\Sigma = \{(, )\}</tex>
<tex>S\rightarrow(S)\rightarrow(SS)\rightarrow((S)S)\rightarrow((S)(S))\rightarrow(()(S))\rightarrow(()())</tex>
===Арифметические выражения===
<tex>\Sigma = \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0, +, *, /, -, (, )\}</tex>
# <tex>S \rightarrow S O S</tex> — два выражения, соединенные действием
143
правки

Навигация