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

Я тільки починаю вникати в теорію обчислень, яка вивчає, що можна обчислити, як швидко, використовуючи скільки пам'яті та за допомогою якої обчислювальної моделі. У мене досить основне питання, але я дуже сподіваюся, що хтось із вас, хлопці, може допомогти мені зрозуміти концепцію, що стоїть за ним: Чому все зосереджене на …

10 complexity-theory  formal-languages 

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

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

Припустимо, LLL є звичайною мовою над упорядкованим алфавітом. Чи побудована мовою, беручи кожне слово в LLL і сортуючи його, завжди є звичайною мовою?

10 formal-languages  regular-languages 

Чи потрібно, щоб був нескінченним, щоб бути невизначеним?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Я маю на увазі, що якщо ми виберемо мову буде обмеженою кінцевою версією , тобто , ( ), з . Чи можливо бути невід’ємною мовою? L′L′L' | L ′ | ≤ N N ∈ N L ′ ⊂ L L ′L⊆Σ∗L⊆Σ∗L\subseteq …

10 formal-languages  computability  undecidability 

Запишіть для десяткового розширення (без провідних ). Нехай і - цілі числа, . Розглянемо мову десяткових розкладів кратних плюс константа:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Є регулярними? без контексту?МMM (Контраст з мовою графіка афінної функції ) …

10 formal-languages  context-free  regular-languages  integers 

З мого читання здається, що більшість граматик переймаються створенням нескінченної кількості рядків. Що робити, якщо ви працювали навпаки? Якщо задано n рядків довжиною m, слід створити граматику, яка буде генерувати ці рядки та саме ці рядки. Чи існує відомий спосіб цього зробити? В ідеалі назва техніки, яку я можу дослідити. …

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

Я знаю, що мови, які можна визначити за допомогою регулярних виразів та тих, які можна розпізнати за допомогою DFA / NFA (кінцеві автомати), є рівнозначними. Також для мови не існує DFA{0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\}. Але все-таки це можна записати, використовуючи регулярні вирази (з цього приводу будь-яка нерегулярна мова може бути) як{ …

10 formal-languages  regular-languages  regular-expressions 

Питання досить багато в назві. Чи є колись час, коли якась моваLLL може прийняти мінімальний DFA з nnn держави, але LRLRL^R, обернення LLL, може бути прийнято DFA з mmm штати, де m&lt;nm&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

Чому (якщо так) сепаратор ##\# чи є різниця між двома мовами? Скажімо: L = { w s : | ш | = | 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 : …

9 formal-languages  context-free  pumping-lemma 

Нещодавно мені було цікаво, що буде, якщо ми дозволимо без контекстних граматик мати нескінченну кількість правил. Зрозуміло, якщо ми дозволимо довільні такі нескінченні набори правил, кожна моваLLL над деяким алфавітом ΣΣ\Sigma можна описати CFG G=({S},Σ,R,S)Г=({S},Σ,R,S)G = (\{S\},\Sigma,R,S) з R={S→w∣w∈L}R={S→ш∣ш∈L}R = \{S \rightarrow w \mid w \in L \}. Але що …

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 

Я думаю про одинарні мови , де встановлюється з усіх слів, довжина яких є сумою квадратів. Формально: Неважко показати, що не є регулярним (наприклад, з Pumping-Lemma). Далі ми знаємо, що кожне натуральне число - це сума чотирьох квадратів, що означає, що для всі мови є регулярними, оскільки .LкLkL_kLкLkL_kкkkLк= {ан∣ n …

9 formal-languages  regular-languages 

Формальна мова над алфавітом є підмножиною , тобто, набір слів в цьому алфавіті. Дві формальні мови і є рівними, якщо відповідні множини дорівнюють як підмножини . Можна використовувати мови в теорії складності для формалізації поняття "проблема". Можна поскаржитися, що «взагалі» рівність розширення не можна визначити, але я вважаю, що це …

9 complexity-theory  formal-languages  reference-request 

Я шукаю граматику, залежну від контексту, яка описує наступну мову: L = { w w ∣ w ∈ { a , b}∗, | ш | ≥ 1 }L={шш∣ш∈{а,б}∗,|ш|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . У мене проблеми з тим, що немає таких правил, як Х→ …

9 formal-languages  formal-grammars  context-sensitive 

Нещодавно я поставив запитання щодо Math SE. Ще немає відповіді. Це питання пов'язане з цим питанням, але більше технічних деталей щодо інформатики. Дано два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1)і де набір станів, вхідний алфавіт та функція переходу і однакові, початкові стани і кінцеві (приймаючі) стани можуть бути …

9 formal-languages  reference-request  finite-automata