formal-languages

-1зной

1ответ

Предопределенный набор в сплаве

Я пытаюсь изучить спецификацию сплава. яз. , Я не могу найти выход из вопроса. Мой вопрос связан с предопределенным количеством элементов. В комплект набора для театра должен быть 4 участника. Аудитор

alloy formal-languages 2014-10-10

---

1зной

1ответ

Построение линейно-линейной грамматики

Мне нужна помощь для построения линейно-линейной грамматики для языка {w ∈ {a, b} * | w не заканчивается на aa}. Я построил правильную грамматику для языка {w ∈ {a, b} * | w не заканчивается на aa}, к

grammar regular-language computation-theory formal-languages 2014-10-21

---

1зной

2ответ

Непрерывный текст Захват с регулярными выражениями. Как мне это сделать?

Я хочу захватить несмежный текст из строки, используя регулярное выражение, и мне очень сложно. (Не могу заставить его работать) я следующее: "Джон KC Mary V апельсины." KC и V - это теги, и они всегд

java regex formal-languages 2014-02-20

---

1зной

2ответ

Формальная нотация для кодовых переводов с помощью компилятора

Я разрабатываю DSL, который переводится в исходный код Java. Являются ли их обозначения, которые обычно используются для определения семантики/перевода компилятора? Пример: DSL: a = b = c = 4 вылива

java compiler-construction dsl formal-languages 2014-03-02

---

16зной

1ответ

Являются ли регулярные алгебраические типы данных haskell эквивалентными контекстно-свободным грамматикам? Как насчет GADTS?

Синтаксис для типов алгебраических данных очень похож на синтаксис Backus–Naur Form, который используется для описания контекстно-свободных грамматик. Это заставило меня задуматься, если мы подумаем о

haskell programming-languages formal-languages 2014-11-17

---