Дворівнева граматика – це

Двохурівнева граматика- це формальна граматика, яка використовується для породження іншої формальної граматики, наприклад з безліччю правил. Саме так граматика ван Вейнгаарден була використана для визначення мови Алгол-68. Контекстно-вільна граматика, яка визначає правила для іншої граматики, може породити по суті безліч правил похідної граматики. Це робить дворівневі граматики більш потужними, ніж однорівневі контекстно-вільні граматики, оскільки було доведено, що дворівневі граматики, що породжують, є повними по Тьюрингу. [1]

Двохурівневою граматикоюможе також називатися формальна граматика для дворівневої формальної мови, тобто мови, заданої на двох рівнях, наприклад рівень слів та рівень речень.

Добре відомою не контекстно-вільною мовою є

Дворівневою граматикою для нього може бути метаграматика

N ::= 1 N1 X ::= a b c

разом із граматичною схемою

Start ::= ::= ::= X

  1. ↑Sintoff, M. «Existence of Van Wijngaarden's Syntax for Every Recursively Enumerable Set.» Annales de la Société Scientifique de Bruxelles 2 (1967), 115-118.

Wikimedia Foundation. 2010 .

Дивитись що таке "Двохрівнева граматика" в інших словниках:

двохрівнева граматика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики електрозв'язок, основні поняття EN two level grammar … Довідник технічного перекладача

Граматика ван Вейнгаардена — (також у Граматика або Граматика) це дворівнева граматика, яка надає спосіб визначення потенційно нескінченних граматикчерез кінцеве число правил. Формалізм був винайдений Адріаном ван Вейнгаарденом для … Вікіпедія

Новгородський Державний Університет імені Ярослава Мудрого - Новгородський державний університет імені Ярослава Мудрого (НовДУ) державний освітній заклад вищої професійної освіти. Університет розташований на північному заході Укаїни, у місті Великий Новгород. Ректор… … Вікіпедія

НовДУ - Новгородський державний університет імені Ярослава Мудрого (НовДУ) державний освітній заклад вищої професійної освіти. Університет розташований на північному заході Укаїни, у місті Великий Новгород. Ректор… … Вікіпедія

Новгородський державний університет - імені Ярослава Мудрого (НовДУ) державний освітній заклад вищої професійної освіти. Університет розташований на північному заході Укаїни, у місті Великий Новгород. Ректор університету професор, доктор медичних наук... Вікіпедія