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

Я пересматривал Теорию вычислений для забавы, и этот вопрос меня мучил некоторое время (забавно, никогда не думал об этом, когда я изучал Теорию автоматов в моем старшекурснике). Итак, «почему» мы точно изучаем детерминированные и недетерминированные конечные автоматы (DFA / NFAs)? Итак, вот некоторые ответы, которые я придумал после ответа, но …

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 

Реальные компьютеры имеют ограниченную память и ограниченное число состояний. Так что они по сути конечные автоматы. Почему теоретические компьютерные ученые используют машины Тьюринга (и другие эквивалентные модели) для изучения компьютеров? Какой смысл изучать эти гораздо более сильные модели по отношению к реальным компьютерам? Почему конечной модели автоматов недостаточно?

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

Недавно я услышал это: «Недетерминированная машина - это не то же самое, что вероятностная машина. В общих чертах, недетерминированная машина - это вероятностная машина, в которой вероятности переходов неизвестны». Я чувствую, как будто я понимаю, но я действительно не понимаю. Может ли кто-нибудь объяснить мне это (в контексте машин или …

38 automata-theory  randomness  computability 

Всегда есть способ применения в темах, связанных с теоретической информатикой. Но учебники и курсы бакалавриата обычно не объясняют причину, по которой теория автоматов является важной темой и имеет ли она применение на практике. Поэтому у студентов бакалавриата могут возникнуть проблемы с пониманием важности теории автоматов, и они могут подумать, что …

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

Спросите даже кого-то, имеющего опыт работы в области компьютерных наук, что такое регулярное выражение, и ответ, вероятно, выйдет за пределы возможности быть в пределах досягаемости конечного автомата. Например, «регулярное выражение» /^1?$|^(11+?)\1+$/ созданная известной личностью Perl Абигейл (и часть набора тестов Perl с 2002 года) описывает машину, которая принимает только составные …

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

Мне нужна книга по теории конечных автоматов с множеством примеров, которые я могу использовать для самостоятельного изучения и подготовки к экзаменам.

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

В предисловии к своим очень влиятельным книгам «Автоматы, языки и машины» (тома A, B) Самуэль Эйленберг обещал соблазнительно изложить тома C и D, посвященные «иерархии (называемой рациональной иерархией) нерациональных явлений ... используя рациональные отношения как инструмент для сравнения. Рациональные множества лежат в основе этой иерархии. Двигаясь вверх, вы сталкиваетесь с …

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

Является ли язык { } не зависит от контекста или нет?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 

Хорошо известно, что регулярное выражение может быть распознано недетерминированным конечным автоматом, размер которого пропорционален регулярному выражению, или детерминированным FA, который потенциально экспоненциально больше. Кроме того, учитывая строку и регулярное выражение , NFA может проверить членство во времени, пропорциональноми DFA может проверить членство во времени, пропорциональном, Замедление для NFA возникает из-за …

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

Мне было интересно, существует ли «лучший» (я объясню в каком смысле) алгоритм для запуска из DFA и построения регулярного выражения такого что , чем в книге Хопкрофта и Уллмана (1979). Там наборы используются для представления наборов строк, которые переводят DFA из состояния в без прохождения через любое состояние, пронумерованное выше …

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

Зафиксируйте целое число и алфавит . Определим как совокупность всех конечных автоматов на состояниях с начальным состоянием 1. Мы рассматриваем все DFA (не только связанные, минимальные или невырожденные); таким образом, .nnnΣ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)nnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n Теперь рассмотрим две строки и определим как количество элементов которые принимают как и .x,y∈Σ∗x,y∈Σ∗x,y\in\Sigma^*K(x,y)K(x,y)K(x,y)DFA(n)DFA(n)DFA(n) xxxyyy Вопрос: Какова …

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^* . Нетрудно показать, что для f(n)=2n+1f(n)=2n+1f(n) = 2^n+1 это верно, …

28 automata-theory  fl.formal-languages  nondeterminism 

Я не могу думать ни о какой такой модели, может быть, о какой-то форме типизированного лямбда-исчисления? какой-то элементарный клеточный автомат? Это почти опровергло бы «Принцип вычислительной эквивалентности» Вольфрама: Почти все процессы, которые не являются явно простыми, могут рассматриваться как вычисления эквивалентной сложности

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

1) Какова связь между статической типизацией и формальными грамматиками, если таковые имеются? 2) В частности, возможно ли, чтобы линейный ограниченный автомат проверял, хорошо ли, например, написана программа на C ++ или SML? Вложенный стек? 3) Есть ли естественный способ выразить статические правила типизации в терминах формальной грамматики?

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference