Вопросы с тегом «fl.formal-languages»

Главный / Общий Вопрос Пусть LLL будет языком. Определим языки LiLiL_i с L0=LL0=LL_0 = L и Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} для i≥1i≥1i \geq 1 . Рассмотрим L = ⋃ л я . Таким образом, мы неоднократно «встраивать» L в себя , чтобы получить L …

19 reference-request  fl.formal-languages 

У меня совсем недавно была дискуссия о машинах Тьюринга, когда меня спросили: «Машина Тьюринга получена из автоматов или наоборот»? Конечно, я не знал ответа, но мне любопытно узнать. Машина Тьюринга - это немного более сложная версия автоматов Push-Down. Исходя из этого, я предполагаю, что машина Тьюринга была получена из автоматов, …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Вопрос прост и прям: для фиксированного , сколько (разных) языков принято DFA размером n (то есть nnnnnnnnnn состояний)? Я официально заявлю это: Определите DFA как , где все как обычно и δ : Q × Σ → Q (возможно, частичная) функция. Нам нужно установить это, поскольку иногда только полные функции …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

DFA имеет синхронизирующее слово, если есть строка, которая отправляет любое состояние DFA в одно состояние. В «Гипотезе Черни для апериодических автоматов» А. Н. Трахтмана («Дискретная математика и теоретическая информатика», том 9: 2, 2007, с. 3-10) он писал: В 1964 году Черни предположил, что каждое синхронизируемое по N-состоянию DFA обладает словом …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Большинство современных реализаций регулярных выражений, таких как perl или .NET, выходят за рамки классического компьютерного определения REGEX с такими функциями, как lookahead и lookbehind. Позволяют ли эти функции анализировать операторы, которые не могут быть описаны конечным автоматом без нажатия? Насколько ближе к завершению это делает их, если они могут?

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

Мне было интересно, если спецификация JSON определяет обычный язык. Это кажется достаточно простым, но я не уверен, как это доказать самому. Причина, по которой я спрашиваю, заключается в том, что мне было интересно, можно ли использовать регулярные выражения для эффективного анализа JSON. Может ли кто-нибудь с достаточным количеством представителей, пожалуйста, …

19 fl.formal-languages  regular-expressions  regular-language 

Это известный результат, что вопрос Генерирует ли контекстно-свободная грамматика обычный язык? неразрешима. Однако он становится разрешимым в унарном алфавите просто потому, что в этом случае классы контекстно-свободных и регулярных языков совпадают. Мой вопрос состоит в том, чтобы знать, что происходит с унарными контекстно-зависимыми языками. Можно ли определить, порождает ли данная …

18 fl.formal-languages  decidability 

Я пытаюсь решить конкретную проблему, и я подумал, что смогу решить ее, используя теорию автоматов. Мне интересно, какие модели автоматов имеют разрешимость за полиномиальное время? то есть если у вас есть машины вы можете проверить, эффективно ли . L ( M 1 ) ⊆ L ( M 2 )M1, M2M1,M2M_1, …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Существует множество алгоритмов, которые могут анализировать грамматику без контекста за . Используя матричное умножение, можно даже пойти асимптотически быстрее, чем это.O(n3)O(n3)O(n^3) Тем не менее, все алгоритмы для разбора произвольных CFG, которые я знаю, имеют использование пространства в худшем случае (хотя, по общему признанию, я понятия не имею, каково использование пространства …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Это переформулировка программ грамматики? предыдущий вопрос от Vag и множество предложений от комментаторов. Каким образом грамматика может рассматриваться как спецификация модели вычислений? Если, например, мы берем простую контекстно-свободную грамматику, такую ​​как G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' -> …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Метод производных Бжозовского - очень симпатичная техника для построения детерминированных автоматов из регулярных выражений хорошо алгебраическим способом. Я разработал несколько симпатичных обобщений этого метода для обработки некоторых более крупных классов грамматик, но алгоритмы достаточно просты, и кажется вполне вероятным, что они были обнаружены ранее. Но ссылки Google на потомков этой …

18 reference-request  fl.formal-languages  parsing 

Слово www называется примитивным , если нет слов и так что . Множество всех примитивных слов над алфавитом является хорошо известным языком. WLOG мы можем выбрать . vvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} Язык является простой , если для каждого языка и с мы имеем или .LLLAAABBBL=A⋅BL=A⋅BL …

17 fl.formal-languages 

2dca (двусторонние детерминированные автоматы с одним счетчиком) (Petersen, 1994) могут распознавать следующий унарный язык: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Есть ли другой нетривиальный унарный язык, распознаваемый 2dca? Заметьте, что до сих пор неизвестно, могут ли 2dca распознать ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n …

17 fl.formal-languages  automata-theory  counter-automata 

Много лет назад я слышал, что вычисление минимального NFA (недетерминированного конечного автомата) из DFA (детерминированного) было открытым вопросом, в отличие от обратного направления, которое было известно в течение десятилетий и хорошо исследовано с эффективным алгоритм. Кто-нибудь придумал алгоритм?O ( n lgн )О(NЛ.Г.⁡N)O(n \lg n) Быстрый поиск дал мне этот документ, …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization