formal-languages

4зной

1ответ

формула против хорошо сформированной формулы в логике высказываний

Может кто-нибудь объяснить разницу между формулой вообще и хорошо сформированная формула? Можно ли определить истинное значение плохо сформированной формулы?

logic formula formal-languages well-formed 2016-03-07

---

0зной

1ответ

Формат регулярного выражения Confusion

Я пытаюсь поднять голову вокруг некоторого регулярного выражения, чтобы позже программировать компилятор. , если у меня есть выражение: (а или б) * Это так же, как * или б *? Или это означает, что вы

compilation expression regular-language formal-languages 2016-01-27

---

0зной

2ответ

Как я могу проверить, что язык одной контекстно-свободной грамматики является подмножеством второй контекстно-свободной грамматики?

Не могли бы вы объяснить мне, как я могу проверить, что язык первой контекстно-свободной грамматики (G1) является подмножеством языка второй контекстно-свободной грамматики (G2). G1 и G2 два LL (1) гр

parsing grammar context-free-grammar formal-languages context-free-language 2016-01-30

---

-1зной

1ответ

Построение Язык порождена грамматикой

Мы должны найти L (G), где грамматика G дается как- S-> AB | CD, A-> аА | а, B-> Б.Б. | Британская Колумбия, C-> ЧЖД | d, d> AD | AD Я попытался вопрос, но он рекурсии очень глубоко и я не могу прекра

grammar automata formal-languages 2016-02-15

---

1зной

3ответ

Сопоставьте только строки, содержащие пары/степени 2 данного символа, с использованием регулярного выражения

Мне нужна ваша помощь в создании регулярного выражения для этого, я просто не могу найти логику, чтобы ее реализовать, я почти ничего не знаю о регулярных выражения. Регулярное выражение должно приним

regex formal-languages 2016-03-03

---

0зной

1ответ

Как предложить уравнение рекуррентности для данного DFA по множеству q состояний?

Я пытаюсь решить вопрос 2 по следующей ссылке: Check out Q.2. Это меня интересует номер N(k) двоичных строк длины k, принятый следующим детерминированным конечным автоматом (источник: URL). Например N

combinatorics recurrence finite-automata dfa formal-languages 2016-03-26

---

1зной

1ответ

Преобразование заданной двусмысленной арифметической грамматики выражения в однозначную LL (1)

В этом термине у меня есть курс на компиляторах, и в настоящее время мы изучаем синтаксис - разные грамматики и типы парсеров. Я столкнулся с проблемой, которую я не могу точно понять, или, по крайней

parsing grammar context-free-grammar formal-languages 2016-03-26

---

0зной

1ответ

Как написать формальный тест восстановления сброса, который имеет длительное время

Я использовал для проверки модуля, который состоит из последовательного порта с набором регистров динамическими тестами. Одним из тестов является проверка сброса восстановления. Последовательность син

verilog system-verilog formal-languages formal-verification asic 2016-01-11

---