Формальные грамматики — различия между версиями

Версия 00:37, 29 октября 2010

Определение:

Формальная грамматика - четверка

 [math]\Gamma =\langle \Sigma, N, S \in N, P \in N^{*}\times (\Sigma\cup N)^{*}\rangle[/math]

где - алфавит, - набор нетерминалов, - начальный символ грамматики, - правило вывода

Определение:

Язык грамматики - множество

То есть, [math]L(\Gamma)[/math] - это все цепочки в алфавите [math]\Sigma[/math], которые выводимы из [math]S[/math] с помощью [math]P[/math].

@@ Строка 2: / Строка 2: @@
 |definition =
 '''Формальная грамматика''' - четверка
-   <tex>\Gamma =<\Sigma, N, S \in N, P \in N^{*}\times (\Sigma\bigcup N)^{*}></tex>
+   <tex>\Gamma =\langle \Sigma, N, S \in N, P \in N^{*}\times (\Sigma\cup N)^{*}\rangle</tex>
-   где '''<tex>\Sigma</tex>''' - [[алфавит]], '''N''' - набор нетерминалов, '''S''' - начальный символ грамматики, '''P''' - правило вывода <tex>\alpha\rightarrow \beta</tex>
+   где <tex>\Sigma</tex> - [[алфавит]], <tex>N</tex> - набор нетерминалов, <tex>S</tex> - начальный символ грамматики, <tex>P</tex> - правило вывода <tex>\alpha\rightarrow \beta</tex>
 }}
 {{Определение
@@ Строка 9: / Строка 9: @@
    '''Язык грамматики''' - множество <tex>L(\Gamma) = \{\omega|S \Rightarrow^{*}\omega, \omega \in \Sigma^{*}\}  </tex>
 }}
-То есть, '''<tex>L(\Gamma)</tex>''' - это все цепочки в алфавите <math>\Sigma</math>, которые выводимы из '''S''' с помощью '''P'''.
+То есть, <tex>L(\Gamma)</tex> - это все цепочки в алфавите <math>\Sigma</math>, которые выводимы из <tex>S</tex> с помощью <tex>P</tex>.