Описание тега formal-languages
Изучение формальных языков касается определения, описания (генерации) и анализа (распознавания) наборов строк над конечными наборами символов. Набор всех двоичных представлений целых чисел, набор всех палиндромов над строчными латинскими буквами и набор всех двоичных представлений машин Тьюринга, которые не принимают себя, являются примерами формальных языков.
1
ответ
Распознавать максимальный тип формального языка
В настоящее время я пытаюсь изучать и понимать формальные языки и грамматику. Я понимаю иерархию Хомского, но нашел задачу, в которой я не знаю, как они нашли решение. Задача: G=({S},{a,b},S,P) P={S->epsilon, S->aS, S->Sb} Каков максимальны…
01 фев '17 в 13:54
1
ответ
Нахождение контекстно-свободной грамматики
У меня были серьезные проблемы с этой задачей: L = {w element of {a,b}* | the number of a's plus 2 times the number of b's modulo 5 in w is 0} Я думал о: S -> ε S -> abbS S -> babS S -> bbaS S -> aaaaaS S -> aaabS так далее... Но э…
30 окт '14 в 19:29
1
ответ
Есть ли исследования разбора в двух измерениях?
В теории формального языка язык L над алфавитом Σ является подмножеством Σ* (набора слов над этим алфавитом). Для таких (одномерных) языков было проведено множество исследований эффективных методов синтаксического анализа (например, LL(K), LR(K), GL…
13 окт '18 в 17:50
1
ответ
Путаница в формате регулярных выражений
Я пытаюсь разобраться с некоторыми регулярными выражениями, чтобы позже запрограммировать компилятор. если у меня есть выражение: (а или б)* Это так же, как а * или б *? Или это означает, что вы можете выбрать a или b ноль или более раз. Например, и…
27 янв '16 в 18:43
1
ответ
Преобразование заданной грамматики неоднозначного арифметического выражения в однозначный LL(1)
В этом плане у меня есть курс по компиляторам, и в настоящее время мы изучаем синтаксис - различные грамматики и типы синтаксических анализаторов. Я столкнулся с проблемой, которую не могу точно понять, или, по крайней мере, не могу убедиться, что д…
26 мар '16 в 12:51
1
ответ
Что вы делаете, когда доказываете, что язык решаем?
Что вы делаете, когда доказываете, что язык решаем?
24 окт '10 в 14:56
2
ответа
Это правильный график NFA?
Задача: Построить NFA из заданного регулярного выражения. Я решил перенести некоторые из моих старых программ на GitHub. Конкретно проблемы, касающиеся теории формальных языков. После тестирования кода у меня был такой результат, и я не могу точно с…
07 окт '18 в 14:10
0
ответов
Построение обратимой схемы из грамматики
Я ищу способ автоматически генерировать обратимую схему с учетом грамматики (без контекста). Под спецификацией логической схемы я подразумеваю список вентилей (взятых из универсального набора: И, ИЛИ, НЕ, NAND и т. Д.) Плюс бит (ы), к которым примен…
22 дек '17 в 16:38
1
ответ
Примеры практических контекстно-зависимых структур программирования
Итак, я реализую контекстно-зависимый синтаксический анализатор. Это своего рода экспериментальная вещь, и одна из вещей, которые мне нужны, это удобные и практичные синтаксические конструкции для тестирования. Например, следующий пример невозможно …
09 сен '15 в 17:51
3
ответа
Рекурсивные множества против рекурсивных функций
В чем разница между рекурсивным множеством и рекурсивной функцией?
05 дек '09 в 20:48
3
ответа
КПК принимает язык строк, содержащий больше а, чем б
Создайте КПК для распознавания следующего языка: язык строк, содержащих больше а, чем б Я боролся с этим вопросом уже несколько дней, похоже, у меня полная психическая блокада. Сможет ли кто-нибудь дать какое-нибудь руководство или руководство, как …
29 мар '12 в 17:06
2
ответа
Заказ в Сплаве, используя утилиту / заказ
Я пытаюсь узнать о том, как работает заказ в Alloy. У меня есть временная подпись, которую я использовал для создания экземпляра модуля заказа. Я хочу, чтобы предикат addPage добавил страницу в книгу в момент времени t', где t' = t.next. (Как правил…
24 май '17 в 23:05
2
ответа
При проектировании языка программирования проектировщики полностью определяют его операционную / денотационную семантику?
Для языков, которые появляются на научных конференциях, таких как POPL или ICFP, часто семантика языка (в форме операционной или денотационной семантики) хорошо указана. Я пытался найти документированную семантику для популярных языков (например, C,…
17 янв '19 в 23:00
1
ответ
Доказательство конкатенации языка ассоциативно в Агде
Я новичок в языке Agda, и я работаю над формальными языками, используя Agda. У меня есть некоторые проблемы, когда доказательство объединения языков является ассоциативным. Доказательство будет выделено желтым цветом, так как Agda не смогла найти сл…
23 апр '17 в 16:22
3
ответа
Как я могу доказать, что этот язык является регулярным?
Я пытаюсь доказать, если этот язык: L = {w = {0,1} * | #0(w)% 3 = 0} (число 0 делится на 3) регулярно пользуется леммой прокачки, но я не могу найти способ сделать это. Все остальные примеры, которые я получил, имеют простую форму или, скажем, более…
17 дек '15 в 18:08
2
ответа
Есть ли другой способ описать формальный язык, кроме грамматики?
Я ищу математическую теорию, которая занимается описанием формальных языков (набор строк) в целом, а не только грамматических иерархий.
26 мар '12 в 19:12
0
ответов
Формализуйте следующее требование в логике высказываний, используя подходящие высказывания для компонентных утверждений.
Процесс a или процесс b входит в критическую секцию, но не одновременно. Если это произойдет (то есть они одновременно входят в критическую секцию), будет выполнено прерывание. р = обработать q = процесс б r = критическая секция оператор ∨ = или опе…
06 дек '15 в 15:31
1
ответ
Как узнать, когда оператор точки используется для ссылки на поле или для реляционного объединения в Alloy?
Меня смущает оператор точки в Alloy (формальный язык моделирования). Иногда кажется, что когда я выполняю реляционное соединение, я получаю ожидаемый результат, однако иногда я чувствую, что оно используется только для доступа к полю sig, и реляцион…
09 май '17 в 04:01
1
ответ
Определение набора действительных следующих терминалов при генерации из CFG
Я пытаюсь генерировать случайные предложения из грамматики без контекста. На каждом этапе определяется следующий нетерминал, который должен быть сгенерирован в соответствии с некоторыми вероятностными критериями, не имеющими отношения к этому вопрос…
02 май '17 в 22:23
0
ответов
Регулярное выражение - не более одной повторяющейся цифры
Я борюсь с проблемой домашней работы. Я пробовал эту проблему буквально часами. Я нашел подобный вопрос здесь, но это не совсем моя проблема. Задача с домашним заданием гласит: 1. (20 баллов) Составьте регулярные выражения для следующих языков. а) В…
02 фев '14 в 03:52