Формальные грамматики — различия между версиями
(Новая страница: «Определение: '''Формальная грамматика''' - четверка <math>\Gamma =<\Sigma, N, S \in N, P \in N^{*}\times (\Sigma\bigcup N)…») |
|||
| Строка 1: | Строка 1: | ||
| − | Определение | + | {{Определение |
| − | + | |definition = | |
| − | < | + | '''Формальная грамматика''' - четверка |
| − | где '''< | + | <tex>\Gamma =<\Sigma, N, S \in N, P \in N^{*}\times (\Sigma\bigcup N)^{*}></tex> |
| − | + | где '''<tex>\Sigma</tex>''' - [[алфавит]], '''N''' - набор нетерминалов, '''S''' - начальный символ грамматики, '''P''' - правило вывода <tex>\alpha\rightarrow \beta</tex> | |
| − | + | }} | |
| − | + | {{Определение | |
| − | Определение | + | |definition = |
| − | '''Язык грамматики''' - множество < | + | '''Язык грамматики''' - множество <tex>L(\Gamma) = \{\omega|S \Rightarrow^{*}\omega, \omega \in \Sigma^{*}\} </tex> |
| − | То есть, '''< | + | }} |
| + | То есть, '''<tex>L(\Gamma)</tex>''' - это все цепочки в алфавите <math>\Sigma</math>, которые выводимы из '''S''' с помощью '''P'''. | ||
Версия 11:49, 14 октября 2010
| Определение: |
Формальная грамматика - четверка
где - алфавит, N - набор нетерминалов, S - начальный символ грамматики, P - правило вывода |
| Определение: |
| Язык грамматики - множество |
То есть, - это все цепочки в алфавите , которые выводимы из S с помощью P.
