Запитання з тегом «context-sensitive»

При розгляді машинних моделей обчислень ієрархія Хомського зазвичай характеризується (по порядку), кінцевими автоматами, штовхаючими автоматами, лінійно пов'язаними автоматами і машинами Тюрінга. Для першого та останнього рівнів 1 (звичайні мови та рекурсивно перелічувані мови) це не має значення для потужності моделі, вважаємо ми детерміновані чи недетерміновані машини, тобто DFA еквівалентні NFA, …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Я намагаюся зрозуміти контекстно-залежні граматики. Я розумію, чому так люблять мови { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} не є контекстними, але що я хотів би знати, якщо мова, схожа на нетипізований лямбдальний числення, є залежною від контексту. Я хотів би …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

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

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Насправді я виявив, що набір контекстно-чутливих мов, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} прийняті мови) не так широко обговорюються, як REGREG\mathbf{REG} (звичайні мови) або CFLCFL\mathbf{CFL}(без контекстних мов). А також відкрита проблемаD S P A C E ( O ( n ) )=?N S P A C E ( O ( n ) …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Я шукаю граматику, залежну від контексту, яка описує наступну мову: L = { w w ∣ w ∈ { a , b}∗, | ш | ≥ 1 }L={шш∣ш∈{а,б}∗,|ш|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . У мене проблеми з тим, що немає таких правил, як Х→ …

9 formal-languages  formal-grammars  context-sensitive