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

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені letвирази, як-от так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Яке з наведених тверджень є правильним? існують достатні та необхідні умови щодо регулярності мови, але ще не виявлені. Немає достатньої та необхідної умови щодо регулярності мови. Накачана лема - необхідна умова нерегулярності мови. Накачана лема є достатньою умовою нерегулярності мови. Я знаю, що # (4) є правильним, а # (3) …

11 formal-languages  regular-languages 

Враховуючи два набори рядків над алфавітом , чи можна обчислити найменший детермінований кінцевий стан автомата (DFA) таким, що і ?Σ M A ⊆ L ( M ) L ( M ) ⊆ Σ ∗ ∖ BА , ВА,БA,BΣΣ\SigmaММMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Іншими словами, являє собою сукупність позитивних прикладів. …

11 regular-languages  automata  finite-automata  machine-learning 

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

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

Або принаймні генерувати набір рядків, який приймає одна NFA, тому я можу подати її в іншу NFA. Якщо я проведу пошук по кожному шляху NFA, чи буде це спрацьовувати? Хоча це займе багато часу.

10 algorithms  regular-languages  finite-automata 

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

10 formal-languages  regular-languages 

Запишіть для десяткового розширення (без провідних ). Нехай і - цілі числа, . Розглянемо мову десяткових розкладів кратних плюс константа:ˉ 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 

Я працюю над книгою Сіпсера (2-е видання) і натрапив на цей приклад, якого я не розумію. У книзі зазначено, що ця NFA приймає порожню рядок .ϵϵ\epsilon Чи міг би хтось мене пропустити, чому це так? Я розумію, що перейде до що не є станом прийняття.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

Ми можемо сформувати DFA, приймаючи двійкові числа, ділені на нnn. Наприклад, DFA, що приймає двійкові числа, ділені на 2, можна сформувати так: Аналогічно DFA, що приймає двійкові числа, ділені на 3, може бути сформовано так: Ми можемо дотримуватися чітко визначеної процедури для формування цих типів DFA. Однак чи може бути …

9 regular-languages  automata  finite-automata  regular-expressions 

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

9 formal-languages  regular-languages 

Я взяв свою теорію обчислювальних іспитів кілька тижнів тому, і це було одне з питань: Припустимо, моваL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Чи регулярно L? Якщо так, введіть регулярний вираз або автоматику для нього. Після того, як я коротко попросив його відповісти після іспиту, виявляється, що це дійсно регулярно (я вважаю, що …

9 formal-languages  regular-languages  regular-expressions 

З огляду на мову , як я можу сказати безпосередньо, не дивлячись на правила виробництва, що ця мова не є регулярною?L = {анбнcн}L={anbncn} L= \{a^n b^n c^n\} Я міг би використовувати насосну лему, але деякі хлопці говорять, просто дивлячись на граматику, що це не є звичайною. Як це можливо?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Я почав вивчати недетерміновані автомати, використовуючи книгу Хопкрофта та Уллмана . Я застряг у проблемі, яка мені була дуже цікава: Надайте недетермінованому кінцевому автомату, що приймає всі рядки, які мають однакове значення при оцінці зліва направо на правий наліво шляхом множення відповідно до наступної таблиці: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism