Запитання з тегом «finite-automata»

Перетворення регулярних виразів у (мінімальний) NFA, які приймають ту саму мову, легко за допомогою стандартних алгоритмів, наприклад алгоритму Томпсона . Інший напрямок, здається, є більш втомливим, але іноді отримані вирази є безладними. Які алгоритми існують для перетворення NFA в еквівалентні регулярні вирази? Чи є переваги щодо часової складності чи розміру …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

У теорії автоматів ми всі читаємо автомати як кінцеві автомати з самого початку. Що я хочу знати, чому автомати є обмеженими? Щоб було зрозуміло, що це в кінцевому автоматі - алфавіті, мові, рядках, зроблених регулярними виразами, чи що? А чи є (теоретично) якісь некінцеві автомати?

35 automata  finite-automata 

У моєму класі учень запитав, чи можна намалювати всі кінцеві автомати без перетину ребер (схоже, всі мої приклади були). Звичайно, відповідь негативна, явний автомат для мови {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} має структуру K5K5K_5 , повний графік на п'яти вузлах . Ювал показав подібну структуру для …

32 regular-languages  finite-automata  planar-graphs 

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

31 formal-languages  regular-languages  terminology  finite-automata  history 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Я веду презентацію про машини Тьюрінга, і мені хотілося ознайомитись з FSM, перш ніж представити машини Тьюрінга. Проблема в тому, що я дійсно не знаю, чим ДУЖЕ відрізняється один від одного. Ось що я знаю, що це інакше: FSM має послідовні стани залежно від відповідної умови, дотримуючись, коли машини Тьюрінга …

27 terminology  turing-machines  finite-automata  machine-models 

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Я створив простий лексер регулярного вираження і аналізатор, щоб прийняти регулярний вираз і генерувати його дерево розбору. Створення недетермінованого автоматичного кінцевого стану з цього дерева розбору відносно просте для основних …

26 automata  finite-automata  regular-expressions 

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

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

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

20 automata  finite-automata  proof-techniques  reference-question  induction 

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

20 automata  finite-automata  nondeterminism 

Дозволяти L = { aн∣ ∃p ≥ n p, p + 2 є простими } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Чи регулярно ?LLL Це питання на перший погляд виглядало підозрілим, і я зрозумів, що це пов'язано з …

19 formal-languages  automata  regular-languages  finite-automata 

Я застряг у наступному питанні: "Регулярні мови - це саме ті, які приймаються кінцевими автоматами. Враховуючи цей факт, покажіть, що якщо мова LLL прийнята деяким кінцевим автоматом, то LRLRL^{R} також приймається деяким кінцевим; LRLRL^{R} складається з усіх слів LLL перевернутих".

19 formal-languages  regular-languages  automata  finite-automata 

Наприклад, коли ми розглядаємо DFA, який дозволяє рядкам, що не мають підрядів, 00або 11я можу створити наступні два DFA:

17 automata  finite-automata 

Я використовував FSM в цифрових схемах послідовних схем. Але я не знайомий з Кінцевими Автоматами. Чи може хтось допомогти мені в розумінні "основної" різниці між ними?

16 terminology  automata  finite-automata 

Детермінований кінцевий автомат (DFA) - це модель машини машини, здатна приймати всі та лише звичайні мови. DFA можуть бути (і зазвичай є) визначені таким чином, що кожен стан повинен забезпечувати певний перехід для всіх елементів вхідного алфавіту; іншими словами, функція переходу повинна бути (загальною) функцією.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow …

16 formal-languages  automata  finite-automata