Запитання з тегом «automata-theory»

Я шукаю загальну методику, яка може допомогти мені довести не лише те, що автомати Buchi є більш виразною моделлю, ніж LTL, але і те, що конкретна формула може / не може бути виражена в LTL. Наприклад, " виникає принаймні на парних позиціях", можна описати наступні автомати : де і .pppδ …

11 lo.logic  automata-theory 

Це питання пов'язане з недавнім питанням по Janoma . Фон У програмуванні обмежень, A регулярне глобальне обмеження над областю є пара з кортежем змінних (про масштаб) і ДКА над областю . Призначення до задовольняє якщо приймає рядок .cccDDD(s,M)(s,M)(s, M)sssMMMDDDθθ\thetassscccMMMθ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) Нижче припустимо, що домен фіксований. Визначте відношення еквівалентності над набором рядків …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

Чи можливо побудувати алгоритм, який приймає як вхід автоматичний автоматичний вимикач разом із обіцянкою того, що мова, прийнята цим автоматом L ( M ), є детермінованою безконтекстною мовою і видає детермінований автоматичний автоматичний вимикач N, який точно приймає прийняту мову від М ?МMMЛ ( М)L(M)L(M)NNNМMM Еквівалентною проблемою було б побудувати …

11 reference-request  computability  fl.formal-languages  automata-theory 

Immerman (Descriptive Complexity, 1999) представляє ігри EF для екзистенціальної монадики другого порядку (ігри Ajtai-Fagin) на сторінці 127. Оскільки MSO на слова еквівалентні звичайним мовам, гру можна записати так.∃∃\exists Мова є регулярною, якщо і лише якщо у Деліла немає стратегії виграшу в наступній грі: 1. Самсон вибирає c , m ∈ …

11 lo.logic  automata-theory  descriptive-complexity 

Чи існує 2DFA з станами (де нетривіально, скажімо, принаймні 4), що вимагає принаймні станів, щоб імітувати за допомогою будь-якого DFA?n 2 nnnnnnn2n2n2^n Двосторонній DFA (2DFA) є детермінованим кінцевим числом станів автомата , який може переміщатися назад і вперед на його тільки для читання введення стрічки, в відміну від кінцево-автоматів , …

11 automata-theory  lower-bounds 

Розглянуті тут перетворювачі - це ті, що у Вікіпедії називають перетворювачами кінцевого стану . Поведінка перетворювача , тобто відношення, яке він обчислює, записується [ T ] : слово y - вихід для x iff x [ T ] y .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Питання: Чи вирішується така проблема: Дано: перетворювач і регулярний мову …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Нехай дається число . Розглянемо наступну мову L n = {нnn .Lн= {ш ш|w ∈ { 0 , 1 }н}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Словом, - це набір копіювальних рядків довжиною 2 n .LнLnL_n2 н2n2n Розглянемо наступну функцію складності стану таку, що …

10 fl.formal-languages  automata-theory  grammars  context-free 

Існує відкрита проблема в формальних мовах, відома як Роздільна проблема; що коротко зазначено як два чіткі рядки довжиною , наскільки великим для DFA потрібно "розділити" їх, тобто прийняти один рядок, але відхилити інший.нnn Ось кілька відповідних статей 1 , 2 . (У мене є ще кілька, але мені не вистачає …

10 fl.formal-languages  automata-theory 

Який стандартний підхід щодо мінімізації Büchi-Automata (або також Müller-Automata)? Передача звичайної техніки з кінцевих слів, тобто встановлення двох станів рівними, якщо слова "вичерпані" станів, які приймаються, однакові, не спрацюють. Наприклад, розглянемо Büchi-Automoton, що приймає всі слова з нескінченним числом a, що складається з двох станів, початкового та кінцевого стану, а …

10 fl.formal-languages  automata-theory 

Конкретно, що я маю на увазі під додаванням, ми визначаємо як алфавіт . З огляду на регулярні мови і під деяким алфавітом , дивитися на . { 0 , 1 , 2 , . . . , i } A B Σ i A × BΣiΣi\Sigma_i{ 0 , 1 , …

10 automata-theory 

Детермінований автомат називається k -локальним для k > 0, якщо для кожного w ∈ X k множина { δ ( q , w ) : q ∈ Q } містить щонайбільше один елемент. Інтуїтивно це означає, що якщо слово w довжини k призводить до стану, то цей стан є унікальним …

10 fl.formal-languages  automata-theory  synchronization 

Нехай - контекстна мова. Визначити , щоб бути пре- і Постфіксний замиканням , іншими словами, містить всі «з префіксами і postfixes, і , отже сам по собі. Моє запитання: якщо без контексту і має неоднозначну граматику, чи це однаково для ?p p c ( L ) L p p c …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Я намагаюся скласти таксономію алгоритмів для перетворення регулярних виразів в автомати, щоб виконати деякі емпіричні тести на властивості їх складності в конкретних областях. Мені відомо кілька «більших» імен, наприклад, Томпсон "Алгоритм пошуку регулярних виразів", Томпсон, 1968 рік Глушков "Новий квадратичний алгоритм перетворення регулярного виразу в автоматику", Ponty, et. al, 1996 …

10 automata-theory  fl.formal-languages  regular-expressions 

Привіт, я зараз намагаюся знайти ґрунтовну тему магістерської дисертації, яка стосується якоїсь галузі теорії автоматів або стосується формальних мов. Я намагаюся створити кілька хороших ідей щодо того, що б прийнятна тема була, чимось амбітним, але водночас чимось можливим. Будь-які пропозиції були б дуже вдячні!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

DFA або NFA зчитується через рядок введення з однією головою, рухаючись зліва направо. Цілком природним є питання про машини з кінцевим станом, які мають кілька головок , кожна з яких рухається через вхід зліва направо, але не обов'язково там же, що і на вході, як і інші. Давайте визначимо машину …

10 fl.formal-languages  automata-theory  regular-language  nfa