Постканоническая система

От / / Оставьте комментарий

Оглавление1 Постканоническая система1.1 Определение и свойства постканонических систем1.2 Теорема о нормальной форме1.3 Системы перезаписи строк2 Постканоническая система — Википедия Постканоническая […]

Formal languages, Models of computation, Модели вычислений, Формальные языки

Постканоническая система

  • Определение и свойства постканонических систем

    • Постканоническая система – это система, которая преобразует строки, используя конечные правила. 
    • Каждая постканоническая система может быть представлена как система перезаписи строк. 
    • Формальные языки, генерируемые постканоническими системами, являются рекурсивно перечислимыми. 

  • Теорема о нормальной форме

    • Система находится в нормальной форме, если у нее есть только одно начальное слово и простые производственные правила. 
    • Пост доказал теорему о нормальной форме для постканонических систем в 1943 году. 

  • Системы перезаписи строк

    • Система перезаписи строк – это постканоническая система с одним начальным словом и простыми правилами подстановки. 
    • Любая постканоническая система может быть сведена к системе перезаписи строк. 

Полный текст статьи:

Постканоническая система — Википедия

Похожие статьи:

  1. Теорема Урсеску Оглавление1 Теорема Урсеску1.1 Определение и свойства выпуклых множеств1.2 Теорема о выпуклых множествах1.3 Теорема о пересечении выпуклых...
  2. Переписывание Переписывание Системы перезаписи терминов являются формальными системами для переписывания терминов в алгебре.  Термины состоят из двоичных...
  3. Динамическая система – Arc.Ask3.Ru Оглавление1 Динамическая система1.1 Определение динамической системы1.2 Состояние и правило эволюции1.3 Применение в физике и других областях1.4...
  4. Теорема Атьи–Зингера об индексе Оглавление1 Теорема об индексе Атии–Сингера1.1 Теорема об индексе Атии–Сингера1.2 История1.3 Символ дифференциального оператора1.4 Аналитический индекс1.5 Топологический...
  5. Слияние (абстрактное переписывание) Слияние (переписывание тезисов) Слияние – свойство систем перезаписи в информатике и математике, описывающее возможность переписывания терминов...
  6. Кастовая система в Индии – Arc.Ask3.Ru Оглавление1 Кастовая система в Индии1.1 Кастовая система в Индии1.2 История и развитие1.3 Социальные волнения и изменения1.4...
  7. Товары и услуги Товары и услуги Основные экономические понятия Строгость: относится к строгости и суровости в бизнесе.  Бизнес: включает...
  8. Постиндустриальная экономика Оглавление1 Постиндустриальная экономика1.1 Основные экономические системы1.2 Экономические принципы1.3 Рыночные и социальные аспекты1.4 Экономические модели1.5 Экономические структуры1.6...
  9. Система Полу-Туэ Оглавление1 Полупрозрачная система1.1 Определение и свойства системы полу-Тьюринга1.2 Связь с другими понятиями1.3 Важность и развитие1.4 Квантовая...
  10. Билет (выборы) Оглавление1 Билет (избирательный)1.1 Типы голосования1.2 Особенности избирательного процесса1.3 Типы избирательных систем2 Билет (выборы) — Википедия Билет...
  11. Номер строки Оглавление1 Номер строки1.1 История нумерации строк в программировании1.2 Функции и стили нумерации строк1.3 Роль номеров строк...
  12. Теоремы Силова Оглавление1 Теоремы Силова1.1 Теоремы Силова1.2 Определение силовских подгрупп1.3 Теорема Лагранжа1.4 Теорема Силова (1)1.5 Теорема Коши1.6 Теорема...
  13. Простое число Оглавление1 Простое число1.1 Определение простых чисел1.2 История и развитие1.3 Методы проверки простоты1.4 Применение простых чисел1.5 Современные...
  14. Бойкот выборов Оглавление1 Бойкот выборов1.1 Основные понятия и виды голосования1.2 Полный текст статьи:2 Бойкот выборов Бойкот выборов Основные...
  15. Нормальная форма Хауэлла Нормальная форма Хауэлла Нормальная форма Хауэлла – обобщение формы эшелонирования строк матрицы над ZN.  Интервалы строк...
  16. Система перехода Оглавление1 Переходная система1.1 Определение переходной системы1.2 Отличия от конечных автоматов1.3 Формальное определение1.4 Маркированные переходные системы1.5 Особые...
  17. Переписывание графа Оглавление1 Переписывание графиков1.1 Основы переписывания графов1.2 Алгебраический подход1.3 Графический подход1.4 Детерминированное переписывание графов1.5 Переписывание графиков терминов1.6...
  18. Система абстрактной перезаписи Система переписывания рефератов Абстрактная система перезаписи (ARS) – формализм, отражающий свойства систем перезаписи.  ARS – это...
  19. Централизованное теплоснабжение Оглавление1 Централизованное теплоснабжение1.1 Централизованное теплоснабжение1.2 История централизованного теплоснабжения1.3 Поколения систем централизованного теплоснабжения1.4 Особенности пятого поколения1.5 Источники...
  20. Нормальная форма (абстрактное переписывание) Обычная форма (переписывание тезисов) Абстрактное переписывание: объект находится в нормальной форме, если его невозможно переписать дальше. ...
  21. Гильбертово пространство – Arc.Ask3.Ru Оглавление1 Гильбертово пространство1.1 Определение гильбертовых пространств1.2 История и применение1.3 Примеры и свойства1.4 Внутреннее произведение и норма1.5...
  22. Пассивная предвыборная агитация Оглавление1 Пассивная предвыборная агитация1.1 Виды голосования и их особенности1.2 Полный текст статьи:2 Пассивная предвыборная агитация Пассивная...

Оставьте комментарий

Прокрутить вверх