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

Питання, пов'язані з формальними мовами, граматиками та теорією автоматів

1
Як швидко ми можемо вирішити, чи мінімальний показник DFA?
Мінімізація детермінованих кінцевих автоматів (DFA) є проблемою, детально вивченою в літературі, і було запропоновано кілька алгоритмів для вирішення наступної проблеми: Дано DFA , обчислити відповідний мінімальний DFA, приймаючи ту саму мову, що і . Більшість із цих алгоритмів працює в поліноміальний час.АА\mathscr{A}АА\mathscr{A} Однак мені цікаво, чи варіант рішення цієї проблеми …

2
Приклади безконтекстних мов з безконтекстними доповненнями
Мови без контексту не доповнюються доповненням. На лекціях нам подано той самий аргумент, що і тут у Вікіпедії : Для і і є без контексту, але їх перетин не є. Оскільки контекстні мови закриті під союзи, вони також не можуть бути закриті при доповненні.А = { анбнcм; m , n …

1
Алгоритм перевірки правильності мови
Чи існує алгоритм / систематична процедура перевірки того, чи є мова регулярною? Іншими словами, задавши мову, вказану в алгебраїчній формі (придумайте щось на зразок ), перевірте, чи є мова регулярною чи ні. Уявіть, що ми пишемо веб-сервіс, щоб допомогти студентам в усіх домашніх роботах; користувач вказує мову, а веб-служба відповідає …

2
Пошук мови, породженої граматикою без контексту
Це питання з книги Дракона (я вибачаюся за помилки в перекладі, англійської версії в мене немає): Яку мову породжує ця граматика? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Я не знаю, що мені тут робити. Визначення в книзі про мови говорить про це (і …

3
Легке підтвердження того, що без контекстних мов закриваються в циклічному зсуві
Циклічний зсув (також званий поворотом або кон'югацією ) з мови визначається як . Згідно з вікіпедією (і тут ), в рамках цієї операції без контекстні мови закриваються посилання на документи Ошиби та Маслова. Чи є простий доказ цього факту?LLL{yx∣xy∈L}{yx∣xy∈L}\{ yx \mid xy \in L \} Для звичайних мов закриття обговорюється …

1
Визначення типів уточнення
На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені 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 

3
Як перетворити NFA з перекриваючими циклами в регулярний вираз?
Якщо я правильно розумію, NFA має таку ж виразну силу, як і регулярні вирази. Часто зчитувати еквівалентні регулярні вирази з NFA легко: ви переводите цикли на зірки, з'єднання як альтернативу тощо. Але що робити в цьому випадку: [ джерело ] Цикли, що перекриваються, важко зрозуміти, що приймає цей автомат (з …

2
Як я можу довести, що ця мова не є контекстною?
У мене є така мова {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Я намагаюся визначити, до якого класу мови Хомського він підходить. Я бачу, як це можна зробити за допомогою граматики, залежної від контексту, тому я знаю, що це як мінімум контекстно-залежна. Здається, це було …

1
Чи завжди безмежний контекст безконтекстних мов?
Нехай , , , - це нескінченна послідовність безконтекстних мов, кожна з яких визначена загальним алфавітом Σ . Нехай L - це нескінченна спілка L_1 , L_2 , L_3 , \ крапки ; тобто L = L_1 \ чашка L_2 \ чашка L_3 \ чашка \ крапки .L1L1L_1L2L2L_2L3L3L_3……\dotsΣΣΣLLLL1L1L_1L2L2L_2L3L3L_3……\dots L=L1∪L2∪L3∪…L=L1∪L2∪L3∪…L = …

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

4
Чи можете ви вказати мову програмування без реалізації?
Чи теоретично можливо вказати мову програмування, для якої не може існувати жодна реалізація? Мова програмування - це спосіб визначення функцій. Реалізація означає метод виконання заданої програми на цій мові на заданому вході до виводу функції, відповідної програмі на цьому вході. Які мінімальні вимоги до такої мови?

3
Що є доповненням безконтекстних мов?
Мені потрібно знати, під яким класом CFL закритий, тобто який набір є доповненням до CFL. Я знаю, що CFL не закривається під комплементом, і я знаю, що P закритий під комплементом. Оскільки CFL PI може сказати, що доповнення CFL включено в P (так?) Все ще залишається питання, чи є доповненням …

2
Мова з ірраціональним номером не є CFL
Я працюю над важкою вправою в підручнику, і просто не можу зрозуміти, як діяти далі. Ось проблема. Припустимо, у нас є мова де - деяке ірраціональне число. Як я можу довести, що не є контекстною мовою?L = { a i b j : i ≤ j γ , i ≥ …

1
Побудова всіх безконтекстних мов із набору базових мов та властивостей закриття?
Один із способів перегляду регулярних виразів є конструктивним доказом наступного факту: побудувати звичайні мови можна, починаючи з невеликого набору мов та поєднуючи їх за допомогою невеликого фіксованого набору властивостей закриття. Зокрема, якщо ми почнемо з порожньої мови, мови, що містить порожню рядок, та мов усіх односимвольних рядків, ми можемо зібрати …

2
Метод вимірювання «подібності» між граматиками FSA?
Я працюю з алгоритмом відповідності шаблону, який генерує ациклічний автоматичний кінцевий стан, який приймає заданий текстовий рядок та всі його підрядки. Алгоритм FSA запускається на символічному поданні музичного потоку (наприклад, MIDI-дані). Музичний потік був попередньо оброблений, щоб розділити кожну пісню на марковані "сегменти". FSA генерується для кожного сегмента в кожній …

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.