Mathmech wiki

Home

❯

ЛОИ

❯

Эквивалентность грамматик

Эквивалентность грамматик

Jul 13, 20251 min read

  • лои

Грамматики эквивалентны, если они порождают один и тот же язык


Recent Notes

  • Алгоритм. Построение синтаксического дерева по дереву вывода слова

    Dec 19, 2025

    • лои
  • Алгоритм. Кока-Янгера-Касами

    Dec 07, 2025

    • лои
  • Алгоритм. Построение множества аннулирующих нетерминалов

    Dec 07, 2025

    • лои
  • Аннулирующий нетерминал

    Dec 07, 2025

    • лои
  • Выводимость слова

    Dec 07, 2025

    • лои
  • Достижимый нетерминал

    Dec 07, 2025

    • лои
  • ЛОИ

    Dec 07, 2025

    • лои
  • Нормальная форма Хомского

    Dec 07, 2025

    • лои
  • Приведенная грамматика

    Dec 07, 2025

    • лои
  • Производящий нетерминал

    Dec 07, 2025

    • лои
  • index

    Dec 06, 2025

    • Алгоритм Форда-Фалкерсона

      Dec 06, 2025

      • combals
    • Алгоритмы

      Dec 06, 2025

      • combals
    • Сессия 5 сем Комбинаторные алгоритмы

      Dec 06, 2025

      • combals
    • Атрибут грамматического символа

      Dec 02, 2025

      • лои
    • Итерация языка

      Dec 02, 2025

      • лои
    • Конечный язык

      Dec 02, 2025

      • лои
    • Лои. Лекция 2025-11-04

      Dec 02, 2025

      • лои
    • Объединение языков

      Dec 02, 2025

      • лои
    • Рациональный язык

      Dec 02, 2025

      • лои

    Graph View

    Backlinks

    • Алгоритм. Приведение контекстно-свободной грамматики к нормальной форме Хомского
    • ЛОИ. Лекция 2025-02-11
    • Лемма. О левой факторизации
    • Лемма. Об эквивалентности контекстно-свободной грамматики эпсилон-свободной ацикличной грамматике с ограничениями на вид правил 3
    • Следствие. О существовании ацикличной грамматики для данной контекстно-свободной грамматики
    • Теорема. О существовании для контекстно-свободной грамматики грамматики в нормальной форме Хомского
    • Теорема. Об устранении левой рекурсии
    • Теорема. Об эпсилон-свободной грамматике
    • Теорема. Существование эквивалентной приведенной грамматики для любой контекстно-свободной грамматики

    Created with Quartz v4.5.1 © 2025

    • GitHub
    • TG