Запитання з тегом «nondeterminism»

Я проходив дискусію з питання, як визначити квантові машини Тьюрінга? і я відчуваю, що квантова ТМ і недетермістична ТМ - це одне і те ж. Відповіді на інше питання цього не стосуються. Ці дві моделі одні і ті ж? Якщо ні, Які відмінності між квантовою ТМ та НДТМ? Чи є …

30 computability  turing-machines  quantum-computing  nondeterminism 

Які відмінності та зв’язки між рандомізованими алгоритмами та недетермінованими алгоритмами? З Вікіпедії Рандомізоване алгоритм являє собою алгоритм , який використовує ступінь випадковості як частину своєї логіки. Алгоритм зазвичай використовує рівномірно випадкові біти як допоміжний вхід для керування його поведінкою, сподіваючись досягти хорошої продуктивності у "середньому випадку" над усіма можливими варіантами …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Ми знаємо, що DFA еквівалентні NFA в потужності виразності; Існує також відомий алгоритм перетворення NFA в DFA (на жаль, я зараз знаю винахідника цього алгоритму), який, в гіршому випадку, дає нам станів, якщо в нашому NFA був станів. S2S2S2^SSSS Моє запитання: що визначає найгірший сценарій? Ось транскрипція алгоритму у випадку …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Автомат - це абстрактна модель цифрового комп’ютера. Цифрові комп'ютери повністю детерміновані; їх стан у будь-який час однозначно передбачуваний із вхідного та початкового стану. Коли ми намагаємося моделювати реальні системи, то чому включати недетермінізм у теорію автоматів?

23 automata  nondeterminism  applied-theory 

Усі недетерміновані кінцеві автомати можуть бути перетворені на еквівалентні детерміновані кінцеві автомати. Однак детерміновані кінцеві автомати дозволяють лише одну стрілку на символ, що вказує на стан. Тому його держави повинні бути членами владної сукупності штатів NFA. Це, мабуть, вказує на те, що кількість штатів ДФА може масштабуватися експоненціально з точки …

20 automata  finite-automata  nondeterminism 

Основне визначення машини Тьюрінга (ТМ), принаймні в моєму власному довідковому підручнику (Hopcroft + Ullman 1979), є детермінованим. Звідси моє власне розуміння проблеми зупинки стосується насамперед детермінованих ТМ, хоча я усвідомлюю, що це може розглядатися для інших типів автомати. Я також зауважив, що детермінізм часто більш-менш неявний в тому, як люди …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Це наступне питання цього . У попередньому запитанні про екзотичні державні машини Алекс десять Брінк та Рафаель зверталися до обчислювальних можливостей своєрідного державного машинного апарату: автоматизованих міні-купи. Вони змогли показати, що набір мов, прийнятих такими машинами ( ), не є ні підмножиною, ні надмножиною набору без контекстних мов. Враховуючи успішне …

15 formal-languages  automata  nondeterminism 

Я маю на увазі це [якесь смішне] питання. Чому недетермінований кінцевий автомат називається недетермінованим, поки ми визначаємо переходи для входів. Ну, хоча існують множинні та епсилонні переходи, вони визначені, що означає, що машина є детермінованою для цих переходів. Що означає, що це детерміновано.

14 finite-automata  nondeterminism 

Я усвідомлюю, що недетерміновані автоматичні автоматичні віджимання можуть бути вдосконаленням у порівнянні з детермінованими, оскільки вони можуть "обирати" серед кількох станів, і є деякі безконтекстні мови, які не можуть бути прийняті детермінованим натисканням. Все-таки я не розумію, як саме їх "вибирають". Наприклад, для паліндормів, наприклад, кожне знайдене нами джерело просто …

14 automata  pushdown-automata  nondeterminism 

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

14 complexity-theory  finite-automata  nondeterminism 

З Вікіпедії про рандомізовані алгоритми Слід розрізняти алгоритми, які використовують випадковий вхід для зменшення очікуваного часу роботи або використання пам'яті, але завжди закінчуються правильним результатом у обмеженій кількості часу, та ймовірнісними алгоритмами , які залежно від випадкового введення мають шанс створення неправильного результату (алгоритми Монте-Карло) або невдача результату (алгоритми Лас-Вегаса) …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Завтра - моя презентація, і я хочу прояснити свої концепції ... Я прочитав, що в DFA "Для кожного стану слід визначити перехід усіх можливих символів (алфавіту)". Чи обов'язкове для кожної держави визначення переходу на всі можливі символи в DFA? Якщо її немає, то, будь ласка, наведіть будь-які приклади?

13 automata  finite-automata  nondeterminism 

Я щойно почав читати про теорію обчислення. Якщо порівняти, який є більш потужним (у прийнятті рядків), обидва однакові. А як щодо ефективності? DFA буде швидким порівняно з NFA, оскільки він має лише один вихідний край, і не буде двозначності. Але у випадку з NFA ми повинні перевірити всі можливі випадки, …

13 finite-automata  efficiency  nondeterminism 

На малюнку нижче я намагаюся зрозуміти, що саме приймає ця NFA. Що мене бентежить - стрибок у .ϵϵ\epsilonq0q0q_0 Якщо введено , чи система переходить до та (стан прийняття)?000q0q0q_0 q1q1q_1 Якщо введено , чи система переміщується як на і на ?111q1q1q_1q2q2q_2 Чи переходить система лише до (прийняти стан), якщо не вказано …

12 automata  finite-automata  nondeterminism 

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