Вопросы с тегом «automata-theory»

Теория автоматов, включая абстрактные машины, грамматики, синтаксический анализ, грамматический вывод, преобразователи и методы конечного состояния

3
Как доказать, что формула не может быть выражена в LTL, но может быть в автоматах Бучи?
Я ищу общий метод, который может помочь мне доказать не только то, что автоматы Бучи являются более выразительной моделью, чем LTL, но и то, что конкретная формула может / не может быть выражена в LTL. Например, « встречается хотя бы на четных позициях» может быть описано следующими автоматами Бучи: где …
1
Количество классов эквивалентности в обычных языках как функция размера DFA
Этот вопрос связан с недавним вопросом по Janoma . Фон В программировании ограничений, A регулярное глобальное ограничение ccc над областью DDD представляет собой пару (s,M)(s,M)(s, M) с sss кортежем переменных (о масштабе) и MMM ДКА над областью DDD . Назначение θθ\theta для sss удовлетворяет ccc если MMM принимает строку θ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) …
1
Учитывая, что PDA M такой, что L (M) находится в DCFL, строят DPDA N такой, что L (N) = L (M)
Можно ли построить алгоритм, который принимает в качестве входных данных автомат сокращения вместе с обещанием, что язык, принятый этим автоматом является детерминированным контекстно-свободным языком и выводит детерминированный автомат нажатия который принимает именно принятый язык на ?MMMЛ ( М)L(M)L(M)NNNMMM Эквивалентная проблема была бы построить алгоритм , который принимает в качестве входного …
1
Ehrenfeucht-Fraïssé игры (на самом деле Ajtai-Fagin) для обычных языков.
Immerman (Descriptive Complexity, 1999) представляет EF-игры для экзистенциального монадического второго порядка (Ajtai-Fagin games) на стр. 127. Так как MSO для слов эквивалентна обычным языкам, игру можно написать следующим образом.∃∃\exists Язык является регулярным тогда и только тогда, когда у Далилы нет выигрышной стратегии в следующей игре: 1. Самсон выбирает c , …
2
2DFA, который требует много состояний в эквивалентном DFA?
Существует ли 2DFA с состояниями (где n нетривиально, скажем, по крайней мере 4), для которых требуется по крайней мере 2 n состояния для моделирования с использованием любого DFA?NnnNnn2N2n2^n Двусторонний DFA (2DFA) является детерминированным конечным числом состояний автомата , который может перемещаться назад и вперед на его только для чтения ввода …
1
Можно ли решить, ограничена ли выходная длина преобразователя входной длиной?
Рассматриваемые здесь преобразователи - это те, которые Википедия называет преобразователями конечного состояния . Поведение преобразователя , то есть вычисляемого им отношения, записывается как [ T ] : слово y является выходом для x тогда и только тогда, когда x [ T ] y .TTT[T][T][T]yYyxИксxx[T]yИкс[T]Yx[T]y Вопрос: разрешима ли следующая проблема: Дано: …
1
Какова сложность состояния языка копирования?
Пусть будет дано число . Рассмотрим следующий язык: L n = {Nnn .LN= {ш ш|w ∈ { 0 , 1 }N}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Словом, - это набор строк копирования длиной 2 n .LNLnL_n2 н2n2n Рассмотрим следующую функцию сложности состояний , …
2
Разделение списков слов
Существует открытая проблема в формальных языках, известная как проблема разделения; который кратко изложен как заданные две отдельные строки длины , насколько большой DFA требуется, чтобы «разделить» их, то есть принять одну строку, но отклонить другую.nnn Вот некоторые соответствующие документы 1 , 2 . (У меня есть еще несколько, но у …
2
Минимизация автоматов, принимающих
Каков стандартный подход к минимизации Büchi-Automata (или также Müller-Automata)? Перенос обычного метода из конечных слов, то есть установка двух состояний равными, если слова «заканчиваются» из принятых состояний одинаковы, не будут работать. Например, рассмотрим Büchi-Automoton, принимающий все слова с бесконечным числом a, состоящим из двух состояний: начального и конечного состояний, и …
2
Количество состояний локальных автоматов
Детерминированный автомат называется k- локальным при k > 0, если для каждого w ∈ X k множество { δ ( q , w ) : q ∈ Q } содержит не более один элемент. Интуитивно это означает, что если слово w длины k приводит к состоянию, то это состояние уникально …
1
Закрытие однозначных контекстно-свободных языков под префиксом и постфиксом.
Пусть будет контекстно-свободным языком. Определить , чтобы быть пре- и постфиксное замыканием , другими словами, содержит все «с префиксами и postfixes, и , следовательно сам по себе. Мой вопрос: если зависит от контекста и имеет не однозначную грамматику, то же самое верно для ?p p c ( L ) L …
2
Таксономия известных автоматов регулярных выражений
Я пытаюсь составить таксономию алгоритмов для преобразования регулярных выражений в автоматы, чтобы выполнить некоторые эмпирические тесты их свойств сложности в определенных областях. Я знаю несколько «больших» имен, например: Томпсон «Алгоритм поиска регулярных выражений», Томпсон, 1968 Глушков «Новый квадратичный алгоритм для преобразования регулярного выражения в автомат», Ponty, et. Аль, 1996 Антимиров …
5
Теория автоматов / Тема официальной языковой работы
Привет всем, в настоящее время я пытаюсь найти твердую тему магистерской диссертации, относящуюся к некоторой отрасли теории автоматов или связанной с формальными языками. Я пытаюсь выработать несколько хороших идей для приемлемой темы, чего-то амбициозного, но в то же время выполнимого. Любые предложения будут очень признательны!
1
Какой класс языков распознается конечными автоматами с головами?
DFA или NFA читает входную строку с одной головой, двигаясь слева направо. Кажется естественным задаться вопросом о конечных автоматах, которые имеют несколько головок , каждая из которых движется через вход слева направо, но не обязательно в том же месте на входе, что и другие. Определим конечный автомат с головами следующим …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.