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

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

4
Як перетворити кінцеві автомати в регулярні вирази?
Перетворення регулярних виразів у (мінімальний) NFA, які приймають ту саму мову, легко за допомогою стандартних алгоритмів, наприклад алгоритму Томпсона . Інший напрямок, здається, є більш втомливим, але іноді отримані вирази є безладними. Які алгоритми існують для перетворення NFA в еквівалентні регулярні вирази? Чи є переваги щодо часової складності чи розміру …
5
Як довести, що мова не є контекстною?
Ми дізналися про клас без контекстних мов . Для нього характерні як безконтекстні граматики, так і автоматичні натискання, тому легко показати, що дана мова є без контексту.CFLCFL\mathrm{CFL} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам потрібно було б показати всім граматикам (або автоматам), що вони не …
10
Як довести, що мова не є регулярною?
Ми дізналися про клас регулярних мов . Він характеризується будь-яким одним поняттям серед регулярних виразів, кінцевих автоматів та ліволінійних граматик, тому легко показати, що дана мова є регулярною.REGREG\mathrm{REG} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам доведеться показати для всіх регулярних виразів (або для всіх кінцевих …
1
Мовне теоретичне порівняння граматики LL та LR
Люди часто кажуть, що LR (k) парсери є більш потужними, ніж LL (k) парсери. Ці твердження більшу частину часу є невиразними; зокрема, чи слід порівнювати класи для фіксованого або об'єднання по всіх ? То як справді ситуація? Зокрема, мене цікавить, як LL (*) вписується.kkkkkk Наскільки я знаю, відповідні набори граматики …
8
Як довести, що мова є регулярною?
Існує багато методів, щоб довести, що мова не є регулярною , але що мені потрібно зробити, щоб довести, що якась мова є регулярною? Наприклад, якщо мені дано, що є регулярним, як я можу довести, що наступний є регулярним?L 'LLLL'L′L' L': = { w ∈ L : u v = w …
2
Визначення можливостей міні-купи (або інших екзотичних) державних машин
Див. Кінець цього допису, щоб отримати додаткові роз'яснення щодо визначення (-ів) автоматизованих міні-купи. Можна уявити використання різноманітних структур даних для зберігання інформації для використання в державних машинах. Наприклад, автоматичні автомати, що висуваються, зберігають інформацію в стек, а машини Тьюрінга використовують стрічку. Показано, що державні машини, що використовують черги, і ті, …
1
Покажіть, що {xy ∣ | x | = | y |, x ≠ y} без контексту
Я пам’ятаю, натрапив на наступне запитання про мову, яка нібито не є контекстною, але мені не вдалося знайти доказ цього факту. Чи, можливо, я неправильно запам'ятав це питання? У всякому разі, ось питання: Покажіть, що мова без контексту.L = { x y∣ | х | = | у| ,x≠y}L={xy∣|x|=|y|,x≠y}L = …
1
У чому різниця між алгоритмом, мовою та проблемою?
Здається, на цьому сайті люди часто виправляють інших за те, що плутають «алгоритми» та «проблеми». У чому різниця між ними? Як дізнатися, коли мені слід розглянути алгоритми та розглянути проблеми? І як вони ставляться до поняття мови у формальній теорії мови?
2
Чи існують по суті неоднозначні та детерміновані без контексту мови?
Назвемо контекстну мову детермінованою тоді і лише тоді, коли вона може бути прийнята детермінованим автоматичним натисканням, а недетермінованою в іншому випадку. Назвемо безконтекстну мову за своєю суттю неоднозначною тоді і лише тоді, коли всі безконтекстні граматики, що породжують мову, неоднозначні, а однозначно - інакше. Прикладом детермінованої однозначної мови є мова: …
9
Яке значення мають контекстно-залежні (тип 1) мови?
Бачачи, що мови ієрархії Хомського типу 3 можуть бути розпізнані державною машиною без зовнішньої пам’яті (тобто кінцевим автоматом), тип 2 - державною машиною з єдиним стеком (тобто автоматикою, що висувається), а тип 0 - державна машина з двома стеками (або, що еквівалентно, стрічкою, як це стосується машин Тьюрінга), як мови …
2
Чому звичайну мову називають "регулярною"?
Я тільки що завершив перший розділ « Вступ до теорії обчислень » Майкла Сіпсера, який пояснює основи кінцевих автоматів. Він визначає звичайну мову як все, що можна описати обмеженими автоматами. Але я не міг знайти, де він пояснює, чому звичайну мову називають "регулярною"? Яке походження терміна "регулярний" у цьому контексті? …
2
Чому тип пустоти C не є аналогом типу порожній / нижній?
Вікіпедія, а також інші джерела, які я знайшов, перелічують 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 
1
Асимптотика кількості слів у звичайній мові заданої довжини
Для звичайного мови , нехай , як число слів в довжини . Використовуючи канонічну форму Йордану (застосовану до неозначеної матриці переходу деякої DFA для ), можна показати, що для досить великих , де - складні многочлени, а - складні "власні значення". (Для малих ми можемо мати додаткові умови форми , …
6
Створення комбінацій із набору пар без повторення елементів
У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …
2
Як довести, що мова без контексту?
Існує багато методик довести, що мова не є контекстною, але як я можу довести, що мова є безконтекстною? Які методи є для того, щоб довести це? Очевидно, один із способів - виявити без контексту граматику для мови. Чи існують якісь систематичні прийоми для пошуку безтекстової граматики для даної мови? Для …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.