Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- ...e="БСЭ">''[[Мельчук, Игорь Александрович|Мельчук И. А.]]'' {{БСЭ3|заглавие=Грамматика формальная}}</ref>, возникшая благодаря деятельности [[Айдукевич, Казимеж|К ...7 КБ (284 слова) - 16:54, 2 февраля 2025
- '''Формальная грамматика''' или просто '''грамматика''' в теории [[формальный язык|формальных языков]] — способ описания формаль Итак, грамматика определяется следующими характеристиками: ...16 КБ (265 слов) - 16:52, 22 июля 2023
- '''Линейная грамматика''' — это [[контекстно-свободная грамматика]], такая что правая часть любого её правила вывода содержит не больше одног Простым примером линейной грамматики служит грамматика <math>G</math> с множеством нетерминалов <math>N=\{S\}</math>, алфавитом <m ...6 КБ (130 слов) - 13:58, 30 июля 2024
- ...иям]]. Регулярные грамматики являются подмножеством [[Контекстно-свободная грамматика|контекстно-свободных]]. ...рамматика может быть задана набором правил как левая или правая регулярная грамматика. ...5 КБ (102 слова) - 09:42, 11 декабря 2021
- ...четание «определенные предложения» используется в названии потому, что эта грамматика основывается на [[Дизъюнкт Хорна|дизъюнкте Хорна]] в [[Логика первого поряд ...о анализа), в которой DC-грамматика описывалась как «формализм … в котором грамматика выражается предложениями предикатной логики первого порядка», что «позволяе ...21 КБ (922 слова) - 14:07, 19 декабря 2023
- ...тика|информатике]] '''неоднозначной грамматикой''' называется [[формальная грамматика]], которая может породить некоторую строку более чем одним [[способ]]ом (то Контекстно свободная грамматика ...6 КБ (187 слов) - 17:41, 24 октября 2022
- '''Матричная грамматика''' — это [[формальная грамматика]], в которой правила вывода группируются в конечные последовательности. Пра Матричная грамматика является расширением [[контекстно-свободная грамматика|контекстно-свободной грамматики]]. ...5 КБ (324 слова) - 00:53, 26 июля 2018
- ...ла использована для определения языка [[Алгол-68]]. [[Контекстно-свободная грамматика]], определяющая правила для другой грамматики, может породить в сущности бе ''Двухуровневой грамматикой'' может также называться формальная грамматика для двухуровневого формального языка, то есть языка, заданного на двух уров ...2 КБ (81 слово) - 17:36, 18 мая 2023
- ...не форма правил, а способ их применения: переписываются только [[Префикс (грамматика)|префиксы]]. Префиксная [[грамматика]] ''G'' — это тройка (Σ, ''S'', ''P''), где ...3 КБ (89 слов) - 15:02, 25 июля 2021
- ...грамматика''', '''контекстная грамматика''') — частный случай [[формальная грамматика|формальной грамматики]] (тип 1 по [[Иерархия Хомского|иерархии Хомского]]), Частным случаем формальной грамматики также является [[контекстно-свободная грамматика]]. ...4 КБ (244 слова) - 12:46, 5 мая 2021
- ...т контекста этого нетерминала (в отличие от общего случая [[Неограниченная грамматика|неограниченной грамматики]] Хомского). * LL-грамматика ...10 КБ (220 слов) - 11:44, 13 февраля 2025
- ...в правилах вывода являются деревья, а не отдельные символы. Таким образом грамматика определяет правила замены узлов дерева на поддеревья (см. [[дерево (теория TAG возникла как результат исследований Джоши и его студентов семейства [[грамматика присоединения|грамматик присоединения]]<ref name="JoshiKosarajuYamada1969"> ...8 КБ (285 слов) - 17:00, 19 декабря 2023
- ...выражение, похожи на [[регулярные выражения]] и на [[Контекстно-свободная грамматика|контекстно-свободные грамматики]]<nowiki/> (КС-грамматики) в [[Форма Бэкуса В отличие от КС-грамматик, РВ-грамматики не могут быть [[неоднозначная грамматика|неоднозначными]]: если строка разбирается, то существует ровно одно дерево ...26 КБ (684 слова) - 17:00, 19 декабря 2023
Совпадения в текстах страниц
- ...ла использована для определения языка [[Алгол-68]]. [[Контекстно-свободная грамматика]], определяющая правила для другой грамматики, может породить в сущности бе ''Двухуровневой грамматикой'' может также называться формальная грамматика для двухуровневого формального языка, то есть языка, заданного на двух уров ...2 КБ (81 слово) - 17:36, 18 мая 2023
- ...иям]]. Регулярные грамматики являются подмножеством [[Контекстно-свободная грамматика|контекстно-свободных]]. ...рамматика может быть задана набором правил как левая или правая регулярная грамматика. ...5 КБ (102 слова) - 09:42, 11 декабря 2021
- ...грамматика''', '''контекстная грамматика''') — частный случай [[формальная грамматика|формальной грамматики]] (тип 1 по [[Иерархия Хомского|иерархии Хомского]]), Частным случаем формальной грамматики также является [[контекстно-свободная грамматика]]. ...4 КБ (244 слова) - 12:46, 5 мая 2021
- '''Матричная грамматика''' — это [[формальная грамматика]], в которой правила вывода группируются в конечные последовательности. Пра Матричная грамматика является расширением [[контекстно-свободная грамматика|контекстно-свободной грамматики]]. ...5 КБ (324 слова) - 00:53, 26 июля 2018
- '''Линейная грамматика''' — это [[контекстно-свободная грамматика]], такая что правая часть любого её правила вывода содержит не больше одног Простым примером линейной грамматики служит грамматика <math>G</math> с множеством нетерминалов <math>N=\{S\}</math>, алфавитом <m ...6 КБ (130 слов) - 13:58, 30 июля 2024
- ...не форма правил, а способ их применения: переписываются только [[Префикс (грамматика)|префиксы]]. Префиксная [[грамматика]] ''G'' — это тройка (Σ, ''S'', ''P''), где ...3 КБ (89 слов) - 15:02, 25 июля 2021
- ...кий анализ|синтаксического анализа]] предложения по [[контекстно-свободная грамматика|контекстно-свободной грамматике]], основанный на методе [[динамическое прог ...один <math>O(n^3)</math>-алгоритм для разбора любой [[контекстно-свободная грамматика|контекстно-свободной грамматики]]. ...2 КБ (46 слов) - 19:04, 17 сентября 2016
- '''Нормальная форма Хомского''' — свойство [[формальная грамматика|формальной грамматики]], если все её продукции имеют вид: ...th> — нетерминалы, <math>\alpha</math> — [[терминальный символ (формальная грамматика)|терминальный символ]] (представляющий постоянное значение), <math>S</math> ...7 КБ (241 слово) - 15:27, 24 июля 2024
- ...в правилах вывода являются деревья, а не отдельные символы. Таким образом грамматика определяет правила замены узлов дерева на поддеревья (см. [[дерево (теория TAG возникла как результат исследований Джоши и его студентов семейства [[грамматика присоединения|грамматик присоединения]]<ref name="JoshiKosarajuYamada1969"> ...8 КБ (285 слов) - 17:00, 19 декабря 2023
- ...тика|информатике]] '''неоднозначной грамматикой''' называется [[формальная грамматика]], которая может породить некоторую строку более чем одним [[способ]]ом (то Контекстно свободная грамматика ...6 КБ (187 слов) - 17:41, 24 октября 2022
- ...т контекста этого нетерминала (в отличие от общего случая [[Неограниченная грамматика|неограниченной грамматики]] Хомского). * LL-грамматика ...10 КБ (220 слов) - 11:44, 13 февраля 2025
- ...'-теория|X'-теории]] [[Генеративная грамматика|порождающей грамматики]]: [[Грамматика составляющих|составляющая]] вида <math>YP</math> в структуре типа <math>[_{ ...4 КБ (146 слов) - 12:20, 15 февраля 2023
- При любом положительном целом ''n'' грамматика является однозначной. Словами этого языка являются [[Правильная скобочная п Эта грамматика однозначна, так как она порождает слева направо Д-простые сомножители цепоч ...6 КБ (366 слов) - 11:02, 1 ноября 2022
- ...кстно-свободная грамматика|контекстно-свободные]] и [[Контекстно-зависимая грамматика|контекстно-зависимые]] языки рекурсивны. ...4 КБ (126 слов) - 00:37, 26 марта 2021
- ...e="БСЭ">''[[Мельчук, Игорь Александрович|Мельчук И. А.]]'' {{БСЭ3|заглавие=Грамматика формальная}}</ref>, возникшая благодаря деятельности [[Айдукевич, Казимеж|К ...7 КБ (284 слова) - 16:54, 2 февраля 2025
- ...го''' — классификация [[формальный язык|формальных языков]] и [[формальная грамматика|формальных грамматик]], согласно которой они делятся на 4 типа по их условн Согласно Хомскому, [[формальная грамматика|формальные грамматики]] можно разделить на четыре типа. Для отнесения грамм ...11 КБ (308 слов) - 02:52, 21 декабря 2024
- == Формальная грамматика, описывающая КНФ == Следующая [[формальная грамматика]] описывает все формулы, приведенные к КНФ: ...9 КБ (415 слов) - 19:31, 3 декабря 2024
- '''Формальная грамматика''' или просто '''грамматика''' в теории [[формальный язык|формальных языков]] — способ описания формаль Итак, грамматика определяется следующими характеристиками: ...16 КБ (265 слов) - 16:52, 22 июля 2023
- ...=978-5-397-01106-8}}</ref>{{rp|84}} — отношение между отдельными узлами ([[Грамматика составляющих|составляющими]]) в деревьях синтаксического разбора. Впервые в ...ндование в его обычном понимании едва ли может быть применено к деревьям [[Грамматика зависимостей|грамматик зависимостей]]. ...8 КБ (240 слов) - 21:46, 24 февраля 2023
- ...несложно доказывать, что данный язык не порождается [[Контекстно-свободная грамматика|контекстно-свободной грамматикой]]. Пусть задан КС-язык (V, N, S, G), причем грамматика языка приведена (то есть не содержит правил вида A → ε или A → B). ...6 КБ (142 слова) - 16:50, 7 января 2025