Рубрики

Теория вычислений и автоматов


  • Внедрение конечных автоматов

    Finite Automata (FA) — самая простая машина для распознавания паттернов.

  • Хомская иерархия в теории вычислений

    Согласно иерархии Хомского , грамматики делятся на 4 типа: Type 0 known as unrestricted grammar. Type 1 known as context sensitive grammar. Type 2 known as context free grammar. Type […]

  • Заметки в последнюю минуту — теория вычислений

    Смотрите последние заметки по всем предметам здесь . Мы обсудим важные ключевые моменты, полезные для экзаменов GATE в краткой форме. Для деталей вы можете обратиться к этому . Конечные автоматы […]

  • Насосная лемма в теории вычислений

    Есть две насосные леммы, которые определены для 1. Обычные языки и 2. Контекст — бесплатные языки Насосная лемма для регулярных языков Для любого регулярного языка L существует целое число n, […]

  • Проектирование конечных автоматов из регулярных выражений (набор 1)

    В этой статье мы увидим некоторые популярные регулярные выражения и то, как мы можем преобразовать их в конечные автоматы. Четное число a: регулярное выражение для четного числа a (b | […]

  • Регулярные выражения, регулярная грамматика и регулярные языки

    Как обсуждалось в иерархии Хомского , регулярные языки являются наиболее ограниченными типами языков и принимаются конечными автоматами. Регулярные выражения Регулярные выражения используются для обозначения регулярных языков. Выражение является регулярным, если: […]

  • Преобразование из NFA в DFA

    NFA может иметь ноль, один или несколько ходов из заданного состояния для данного входного символа. NFA также может иметь значения NULL (движения без входного символа). С другой стороны, DFA имеет […]

  • Внедрение автоматов Pushdown

    Мы уже обсуждали конечные автоматы . Но конечные автоматы могут использоваться для приема только обычных языков. Автоматы Pushdown — это конечные автоматы с дополнительной памятью, называемой стеком, которая помогает автоматам […]

  • Свойства закрытия контекстно-свободных языков

    Языки без контекста принимаются автоматами pushdown, но не конечными автоматами. Контекстно-свободные языки могут быть сгенерированы контекстно-свободной грамматикой, которая имеет вид: A -> ρ (где A ∈ N и ρ ∈ […]

  • Минимизация ДФА

    Минимизация DFA означает преобразование данного DFA в эквивалентный DFA с минимальным количеством состояний. Минимизация ДФА Предположим, что существует DFA D <Q, Σ, q0, δ, F>, который распознает язык L. Тогда […]

  • Рекурсивные и рекурсивные перечислимые языки в оглавлении

    Рекурсивный перечислимый (RE) или язык типа -0 Языки RE или языки типа 0 генерируются грамматиками типа 0. Язык RE может быть принят или распознан машиной Тьюринга, что означает, что он […]

  • Неоднозначность в контекстно-свободной грамматике и контекстно-свободных языках

    Прежде чем читать эту статью, мы рекомендуем вам сначала прочитать об автоматах Pushdown и Context Free Languages . Предположим, у нас есть не зависящая от контекста грамматика G с правилами […]

  • Машина Тьюринга в ТОС

    Машина Тьюринга была изобретена Аланом Тьюрингом в 1936 году и используется для принятия рекурсивных перечислимых языков (генерируется грамматикой типа 0). Машина Тьюринга состоит из ленты бесконечной длины, на которой можно […]

  • Разрешимость и неразрешимость в TOC

    Определение языков (или проблем *) как разрешимых, неразрешимых или частично разрешимых является очень распространенным вопросом в GATE. С правильными знаниями и достаточным опытом этот вопрос становится очень легко решить. Начнем […]

  • Упрощение контекстно-свободных грамматик

    Определение контекстно-свободных грамматик (CFG) позволяет нам разрабатывать широкий спектр грамматик. В большинстве случаев некоторые виды производства СУГ бесполезны и являются излишними. Это происходит потому, что определение CFG не ограничивает нас […]

  • Машины Мили и Мура в ТОС

    Машины Мура: Машины Мура — это конечные автоматы с выходным значением, и их производительность зависит только от текущего состояния. Его можно определить как (Q, q0, ∑, O, δ, λ), где: […]

  • Неоднозначность в контекстно-свободной грамматике и контекстно-свободных языках

    Обязательное условие — автоматы Pushdown и языки без контекста . Предположим, у нас есть не зависящая от контекста грамматика G с правилами производства: S-> aSb | bSa | SS | […]

  • Неразрешимость и сводимость в TOC

    Разрешимые проблемы Проблема разрешима, если мы можем построить машину Тьюринга, которая будет останавливаться за конечное время для каждого ввода и будет давать ответ «да» или «нет». У разрешимой проблемы есть […]

  • Объединение и пересечение регулярных языков с КЛЛ

    Обязательное условие — хомская иерархия , регулярные языки Поскольку все мы знаем, что языки, принятые конечными автоматами , называются обычными языками, а языки, которые принимаются автоматами, работающими нажатием , называются […]

  • Введение в теорию вычислений

    Теория автоматов (также известная как теория вычислений ) — это теоретическая ветвь информатики и математики, которая в основном занимается логикой вычислений в отношении простых машин, называемых автоматами. Automata * позволяет […]