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

Я переглядаю Теорію обчислень для розваги, і це питання мене натякало на деякий час (смішно ніколи про це не замислювався, коли я вивчив Теорію автоматів у своєму недограді). Тож "чому" ми саме вивчаємо детерміновані та недетерміновані кінцеві автомати (DFA / NFA)? Ось ось кілька відповідей, які я придумав після розмови, …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Ієрархія Хомського (–Schützenberger) використовується в підручниках теоретичної інформатики, але вона, очевидно, охоплює лише дуже малу частину формальних мов (REG, CFL, CSL, RE) порівняно з повною діаграмою зоопарку Складності . Чи вже ієрархія відіграє якусь роль у сучасних дослідженнях? Тут я знайшов лише невеликі згадки про Хомського на сайті cstheory.stackexchange, а …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Я маю на увазі наступну проблему: я хочу знайти регулярний вираз, який відповідає певному набору рядків (наприклад, дійсні адреси електронної пошти) і не відповідає іншим (недійсні адреси електронної пошти). Припустимо, що під регулярним виразом ми маємо на увазі деяку чітко визначену машину з кінцевим станом, я не знайомий з точною …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Реальні комп'ютери мають обмежену пам’ять і лише обмежену кількість станів. Отже вони по суті є кінцевими автоматами. Чому теоретичні комп'ютерні вчені використовують машини Тьюрінга (та інші еквівалентні моделі) для вивчення комп'ютерів? Який сенс вивчати ці набагато сильніші моделі стосовно реальних комп'ютерів? Чому кінцевої моделі автоматів недостатньо?

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Завжди є спосіб застосування в темах, пов'язаних з теоретичною інформатикою. Але підручники та курси бакалавратів зазвичай не пояснюють причину того, що теорія автоматів є важливою темою та чи вона все ще має застосування на практиці. Тому студенти магістрів можуть мати проблеми в розумінні важливості теорії автоматів і можуть подумати, що …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Запитайте навіть у когось із досвіду інформатики, що таке регулярне вираження, і відповідь, ймовірно, вийде за межі обмеження бути в межах досяжності автоматики з кінцевими станами. Наприклад, "регулярний вираз" /^1?$|^(11+?)\1+$/ створений відомою особистістю Perl Abigail (і частина тестового набору Perl з 2002 року) описує машину, яка приймає лише складені одинарні …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

Мені потрібна книга з теорії обмежених автоматів з великою кількістю прикладів, які я можу використовувати для самостійного вивчення та підготовки до іспитів.

32 reference-request  automata-theory  fl.formal-languages 

У передмові до своїх дуже впливових книг «Автомати, мови та машини» (Томи А, Б) Самуель Ейленберг достойно обіцяв томи С і Д, що стосуються «ієрархії (званої раціональної ієрархії) нераціональних явищ ... використовуючи раціональні відносини як інструмент для порівняння. Раціональні множини знаходяться в нижній частині цієї ієрархії. Рухаючи вгору, зустрічається "алгебраїчні …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Добре відомо, що регулярний вираз можна розпізнати за недетермінованим кінцевим автоматом розміром, пропорційним регулярному виразу, або детермінованим ФА, який потенційно є експоненціально більшим. Крім того, з огляду на рядок та регулярний вираз r , NFA може перевірити приналежність у часі, пропорційному | s | ⋅ | r | , і …

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

Чи мова { } без контексту чи ні?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Я зрозумів, що зіткнувся майже з усіма варіантами цього питання з різними умовами відношення між i, j та k, але не з цим. Я здогадуюсь, що це не …

30 automata-theory  fl.formal-languages  grammars 

Мені було цікаво, чи є алгоритм `` кращого '' (я поясню в якому сенсі) алгоритм, який слід починати з DFA і будувати регулярний вираз r такий, що L ( A ) = L ( r ) , ніж той, що в книга Хопкрофта та Улмана (1979). Там множини R k …

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

Зафіксуйте ціле число та алфавіт \ Sigma = \ {0,1 \} . Визначте DFA (n) як сукупність усіх автоматів з кінцевим станом у n станах із початковим станом 1. Ми розглядаємо всі DFA (не тільки підключені, мінімальні чи не вироджені); таким чином, | DFA (n) | = n ^ {2n} …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

Розглянемо недетерміновані кінцеві автомати та функцію . Додатково визначаємо .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Тепер давайте проаналізуємо наступне твердження: Якщо , то .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Неважко показати, що для це правда, отже, якщо автомати виробляють кожне слово довжиною до …

28 automata-theory  fl.formal-languages  nondeterminism 

Як побічний проект я пишу мову за допомогою Python. Я почав із використання клону флек / зубрів під назвою Ply, але я стикаюся з ребрами в силу того, що можу виразити за допомогою цього стилю граматики, і мені не цікаво зламати мову через невідповідність імпедансу інструмент. Тому я не проти …

28 fl.formal-languages  pl.programming-languages  grammars 

Ми визначаємо звичайну мову дерев, як у книзі TATA : Це набір дерев, прийнятих недетермінованим кінцевим автоматичним деревом (глава 1), або, що еквівалентно, набір дерев, породжених звичайною граматикою дерев (глава 2). Обидва формалізму мають велику схожість з відомими струнними аналогами. Чи існує звичайна мова дерева, в якій середня висота дерева …

26 co.combinatorics  fl.formal-languages  tree  regular-language