Запитання з тегом «fl.formal-languages»

формальні мови, граматики, теорія автоматів

1
Враховуючи PDA M таким, що L (M) знаходиться в DCFL, побудуйте DPDA N таким, що L (N) = L (M)
Чи можливо побудувати алгоритм, який приймає як вхід автоматичний автоматичний вимикач разом із обіцянкою того, що мова, прийнята цим автоматом L ( M ), є детермінованою безконтекстною мовою і видає детермінований автоматичний автоматичний вимикач N, який точно приймає прийняту мову від М ?МMMЛ ( М)L(M)L(M)NNNМMM Еквівалентною проблемою було б побудувати …
2
Чи є обчислення шаблону кроком вперед у мовах чи ми просто повертаємось до LISP?
Баррі Джей у своїй книзі висловлює кілька сміливих тверджень - в основному кажучи, що в основі програми все є атомним або складеним. Тоді речі можна легко повторити, відфільтрувати, оновити, просто перейшовши по цьому складу композиції. Це нова межа в галузі комп’ютерних наук для комп'ютерних мов - чи ми просто повертаємось …
1
Ознайомлення з імовірнісними автоматами
Де я можу знайти вступ до імовірнісних автоматів і що вони розпізнають (певні функції від слів до )? Чи існує стандартний термін для таких функцій, які розпізнаються ймовірнісними автоматами, аналогічні "звичайним мовам", для яких визнають детерміновані кінцеві автомати (DFA)?[ 0 , 1 ][0,1][0,1] Я шукаю щось, що підходить до цього …
1
Яка державна складність мови копіювання?
Нехай дається число . Розглянемо наступну мову 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 Розглянемо наступну функцію складності стану таку, що …
2
Відокремлення списків слів
Існує відкрита проблема в формальних мовах, відома як Роздільна проблема; що коротко зазначено як два чіткі рядки довжиною , наскільки великим для DFA потрібно "розділити" їх, тобто прийняти один рядок, але відхилити інший.нnn Ось кілька відповідних статей 1 , 2 . (У мене є ще кілька, але мені не вистачає …
2
Зведення до мінімуму Автомати, приймаючи
Який стандартний підхід щодо мінімізації Büchi-Automata (або також Müller-Automata)? Передача звичайної техніки з кінцевих слів, тобто встановлення двох станів рівними, якщо слова "вичерпані" станів, які приймаються, однакові, не спрацюють. Наприклад, розглянемо Büchi-Automoton, що приймає всі слова з нескінченним числом a, що складається з двох станів, початкового та кінцевого стану, а …
1
Оборотні Тюрпіти Тюрінга?
Це питання стосується того, чи існують відомі оборотні таріти Тюрінга, де "оборотна" означає в значенні Аксельсена та Глюка , а "tarpit" - набагато неформальне поняття (і може бути не дуже вдалим вибором слова), але я зроблю все можливе, щоб пояснити, що я маю на увазі під цим. Що я маю …
2
Чому linearizability є властивістю безпеки та чому захисні властивості є закритими наборами?
У главі 13 "Атомні об'єкти" книги "Розподілені алгоритми" Ненсі Лінч лінійна здатність (також відома як атомність) виявляється властивістю безпеки. Тобто відповідне його властивість слід непусте, префікс-закрите та обмежене закрите , як визначено у розділі 8.5.3. Неофіційно власність безпеки часто трактується так, що говорить про те, що якась конкретна «погана» річ …
2
Кількість штатів місцевих автоматів
Детермінований автомат називається k -локальним для k > 0, якщо для кожного w ∈ X k множина { δ ( q , w ) : q ∈ Q } містить щонайбільше один елемент. Інтуїтивно це означає, що якщо слово w довжини k призводить до стану, то цей стан є унікальним …
2
Найменша булева схема для генерування мови
Розглянемо не порожню мову двійкових рядків довжиною n . Я можу описати L за булевою схемою C з n входами та одним виходом, таким, що C ( w ) є істинним iff w ∈ L : це добре відомо.LLLнnnLLLСCCнnnС( w )C(w)C(w)w ∈ Lw∈Lw \in L Тим НЕ менше, я хочу …
1
Закриття однозначних безконтекстних мов під пре- та постфіксом.
Нехай - контекстна мова. Визначити , щоб бути пре- і Постфіксний замиканням , іншими словами, містить всі «з префіксами і postfixes, і , отже сам по собі. Моє запитання: якщо без контексту і має неоднозначну граматику, чи це однаково для ?p p c ( L ) L p p c …
2
Таксономія помітних автоматичних регулярних виразів
Я намагаюся скласти таксономію алгоритмів для перетворення регулярних виразів в автомати, щоб виконати деякі емпіричні тести на властивості їх складності в конкретних областях. Мені відомо кілька «більших» імен, наприклад, Томпсон "Алгоритм пошуку регулярних виразів", Томпсон, 1968 рік Глушков "Новий квадратичний алгоритм перетворення регулярного виразу в автоматику", Ponty, et. al, 1996 …
5
Теорія автоматів / Тема формальної мови
Привіт, я зараз намагаюся знайти ґрунтовну тему магістерської дисертації, яка стосується якоїсь галузі теорії автоматів або стосується формальних мов. Я намагаюся створити кілька хороших ідей щодо того, що б прийнятна тема була, чимось амбітним, але водночас чимось можливим. Будь-які пропозиції були б дуже вдячні!
2
Які хороші позначення для детермінованих без контексту та помітно мов витіснення є
Детерміновані без контекстні мови (DCFL) та видимо висувні мови (VPL) - це як набір формальних мов між без контекстними мовами (CFL), так і звичайними мовами (REG). Чи є читабельні позначення, які можуть бути виражені простими ASCII, як Backus-Naur-Form для CFL та регулярні вирази для REG?
1
Який клас мов розпізнається автоматами кінцевого стану з головами?
DFA або NFA зчитується через рядок введення з однією головою, рухаючись зліва направо. Цілком природним є питання про машини з кінцевим станом, які мають кілька головок , кожна з яких рухається через вхід зліва направо, але не обов'язково там же, що і на вході, як і інші. Давайте визначимо машину …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.