Вопросы с тегом «context-free»

Вопросы о наборе языков (эквивалентно), описываемых бесконтекстными грамматиками или принимаемыми (недетерминированными) автоматами.

5
Как доказать, что язык не является контекстно-свободным?
Мы узнали о классе контекстно-свободных языков . Он характеризуется как контекстно-свободными грамматиками, так и автоматами, работающими на понижение, поэтому легко показать, что данный язык не зависит от контекста.CFLCFL\mathrm{CFL} Как мне показать обратное, хотя? Моя ТА была непреклонна, что для этого нам пришлось бы показать всем грамматикам (или автоматам), что они …

1
Покажите, что {xy ∣ | x | = | y |, x ≠ y} не зависит от контекста
Я помню, как сталкивался со следующим вопросом о языке, который предположительно не зависит от контекста, но я не смог найти доказательства этому факту. Возможно, я неправильно понял вопрос? Во всяком случае, вот вопрос: Покажите, что язык зависит от контекста.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

2
Что означает «контекст» в «контекстно-свободной грамматике»?
В Интернете есть много определений о том, что такое контекстно-свободная грамматика, но ничего, что я нахожу, не удовлетворяет мою основную проблему: В каком контексте он свободен? Чтобы исследовать, я погуглил «контекстно-зависимую грамматику», но мне так и не удалось найти смысл «контекста». Может кто-нибудь объяснить, к чему contextотносится этот термин в …

3
Что на самом деле означает «контекстно-свободная» в термине «контекстно-свободная грамматика»?
Некоторое время я изучал компиляторы и искал, что означает «контекст» в грамматике и что означает, что грамматика должна быть «контекстно-свободной», но безрезультатно. Так может кто-нибудь помочь с этим?

6
Генерация комбинаций из набора пар без повторения элементов
У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

2
Как доказать, что язык не зависит от контекста?
Есть много способов доказать, что язык не является контекстно-свободным, но как мне доказать, что язык не является контекстно-независимым? Какие методы существуют, чтобы доказать это? Очевидно, один из способов - показать контекстную грамматику для языка. Существуют ли какие-либо систематические методы для поиска контекстно-свободной грамматики для данного языка? Для регулярных языков, есть …

3
Является ли язык пар слов одинаковой длины, расстояние Хемминга которых равно 2 или более, без контекста?
Является ли следующий языковой контекст бесплатным? L = { u x v y| У , v , х , у∈ { 0 , 1 }+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Как указывает sdcvvc, слово …

4
Как доказать, что грамматика однозначна?
Моя проблема в том, как я могу доказать, что грамматика однозначна? У меня есть следующие грамматики: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } …

1
Решите, могут ли контекстно-свободные языки быть приняты детерминированным автоматом
При наличии не зависящей от контекста грамматики G существует недетерминированный автомат Pushdown N, который принимает именно тот язык, который принимает G. (и наоборот) Там может также существовать детерминированный магазинный автомат D , который принимает именно язык G принимает слишком. Это зависит от грамматики. По какому алгоритму на произведениях G мы …

1
Машины для контекстно-свободных языков, которые не получают никакой дополнительной силы от недетерминизма
При рассмотрении компьютерных моделей вычислений иерархия Хомского обычно характеризуется (по порядку) конечными автоматами, автоматами со спуском, линейными связанными автоматами и машинами Тьюринга. Для первого и последнего уровней 1 (обычные языки и рекурсивно перечислимые языки) не имеет значения сила модели, рассматриваем ли мы детерминированные или недетерминированные машины, то есть DFA эквивалентны …

2
Являются ли контекстно-свободные языки в
Языки без контекста не закрыты в дополнении, мы это знаем. Насколько я понимаю, контекстно-свободные языки, которые являются подмножеством a*б*a∗b∗a^*b^* для некоторых букв а , бa,ba,b , закрыты в дополнении (!?) Вот мой аргумент. Каждый CF язык LLL имеет полулинейный образ Париха π( L ) = { ( m , n …

1
Разрешимо ли языковое равенство для линейных контекстно-свободных грамматик?
Давайте рассмотрим две не зависящие от контекста грамматики и G 2 и зададим следующий вопрос: Являются ли L ( G 1 ) = L ( G 2 ) , то есть эквивалентны ли эти две грамматики?грамм1грамм1G_1грамм2грамм2G_2L ( G1) = L ( G2)L(грамм1)знак равноL(грамм2)L(G_1) = L(G_2) В общем, эта проблема неразрешима. …

2
Могут ли быть «мертвые состояния» в грамматике без контекста?
Может ли контекстно-свободная грамматика включать «мертвые состояния» из автомата, такие как G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→с C} , A )?граммзнак равно({a,б,с},{A,В,С},{A→aВ,В→б,В→С,С→сС},A)?G = \big(\{a, …

3
Алгоритм проверки, является ли язык контекстно-свободным
Существует ли алгоритм / систематическая процедура для проверки того, является ли язык свободным от контекста? Другими словами, учитывая язык, указанный в алгебраической форме (подумайте о чем-то вроде ), проверьте, является ли язык контекстно-свободным или нет , Представьте, что мы пишем веб-сервис, чтобы помочь студентам со всеми домашними заданиями; Вы указываете …

1
Построить КПК для дополнения
Мне интересно, возможно ли это вообще, так как . Поэтому КПК, который может отличить слово от остальной части вполне может принять его , что звучит противоречиво для меня. w ∈ { a n b n c n ∣ n ≥ 0 } { a ∗ b ∗ c ∗ }{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.