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

Я только начинаю изучать теорию вычислений, которая изучает, что можно вычислить, как быстро, сколько памяти и с какой вычислительной моделью. У меня довольно простой вопрос, но я очень надеюсь, что некоторые из вас, ребята, помогут мне понять концепцию, лежащую в основе этого: Почему все сосредоточено вокруг понятия и определения ЯЗЫКОВ …

10 complexity-theory  formal-languages 

Опишите обычный язык, который не может быть принят ни одним DFA, имеющим только три состояния. Я не совсем уверен, с чего начать, и мне было интересно, если кто-то может дать мне несколько советов или советов. Я понимаю, что лемму прокачки можно использовать для доказательства того, что язык не является регулярным, …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Предположим, что - обычный язык над упорядоченным алфавитом. Создан ли язык, беря каждое слово в и сортируя его всегда как обычный язык?LLLLLL

10 formal-languages  regular-languages 

Есть ли необходимость, чтобы был бесконечным, чтобы быть неразрешимым?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Я имею в виду, что если мы выберем язык как ограниченную конечную версию , то есть , ( ), с . Возможно ли, что будет неразрешимым языком? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N …

10 formal-languages  computability  undecidability 

Напишите для десятичного расширения (без начального ). Пусть и целые числа с . Рассмотрим язык десятичных разложений кратных плюс константа:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Является регулярными? контекстно-свободной?MMM (Контраст с языком графа аффинной функции ) Я думаю, что это хороший вопрос для домашней работы, поэтому …

10 formal-languages  context-free  regular-languages  integers 

Из моего чтения кажется, что большинство грамматик занимается созданием бесконечного числа строк. Что делать, если вы работали наоборот? Если задано n строк длиной m, должна быть возможность создать грамматику, которая будет генерировать эти строки и только эти строки. Есть ли известный способ сделать это? В идеале название техники я могу …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Я знаю, что языки, которые можно определить с помощью регулярных выражений, и языки, распознаваемые DFA / NFA (конечными автоматами), эквивалентны. Также не существует DFA для языка . Но все это можно записать с помощью регулярных выражений (в этом отношении любого нерегулярный язык может быть) , как . Но мы знаем, …

10 formal-languages  regular-languages  regular-expressions 

Вопрос в значительной степени в названии. Есть ли время, когда некоторый язык может быть принят минимальным DFA с состояниями, но , обращение , может быть принято DFA с состояниями, где ?n L R L m m &lt; nLLLNnnLрLRL^RLLLмmmм &lt; нm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Почему (если так) разделитель делает разницу между двумя языками?##\# Позвольте сказать: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Вот доказательство и грамматика, представляющая какLLLCFLCFLCFL И ниже я добавляю доказательство для :L#∉CFLL#∉CFLL_{\#} \notin CFL Действительно ли знак имеет значение? если …

9 formal-languages  context-free  pumping-lemma 

Недавно я задавался вопросом, что произойдет, если мы позволим грамматикам без контекста иметь бесконечное количество правил. Ясно, что если бы мы допустили произвольные такие бесконечные наборы правил, каждый язык над некоторым алфавитом мог бы быть описан с помощью CFG с . Но что, если мы ограничим такими наборами правил, которые …

9 formal-languages  context-free  formal-grammars 

Обычно я вижу, что в представлении структурной операционной семантики для цикла while состояние программы не изменяется: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Для меня это не интуитивно понятно, если состояние не меняется …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Я думаю об унарных языках LkLkL_k , где LkLkL_k - множество всех слов, длина которых равна сумме kkk квадратов. Формально: Легко показать, что L 1 = { a n 2 ∣ n ∈ N 0 } не является регулярным (например, с леммой Пампинга). Кроме того, мы знаем, что каждое натуральное …

9 formal-languages  regular-languages 

Формальный язык над алфавитом является подмножеством , то есть, набор слов в этом алфавите. Два формальных языка и равны, если соответствующие множества экстенсивно равны как подмножества . Можно использовать языки в теории сложности, чтобы формализовать понятие «проблемы». Можно было бы пожаловаться на то, что «в общем» равенство экстенсионально неразрешимо, но …

9 complexity-theory  formal-languages  reference-request 

Я ищу контекстно-зависимую грамматику, которая описывает следующий язык: .L = { w w ∣ w ∈ { a , b }*, | ш |≥ 1 }Lзнак равно{весвес|вес∈{a,б}*,|вес|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} У меня проблемы с тем, что никакие правила, такие как не разрешены, и …

9 formal-languages  formal-grammars  context-sensitive 

Я столкнулся с этой проблемой, связанной с манипулированием языком без контекста. Пусть будет контекстно-свободным языком. Определим L # = { х : х я ∈ L для каждой я = 0 , 1 , 2 , . , , } . Всегда ли L # не зависит от контекста? Я …

9 formal-languages  context-free