formal-languages

1зной

1ответ

Официальных методы (Z-обозначение) - добавление нового множественное отношения

У нас есть операция Bus_Arrives, которая принимает следующую линии, BUS_ID и BUSROAD автобусную данного линия поступает на станцию и ему назначается пустая автобусная дорога , если таковая имеется.

1зной

1ответ

Дайте официальный грамматик G, который удовлетворяет L (G) = L

Привет, у меня есть следующий вопрос, заданный мне в прошлой экзаменационной статье. Я понимаю решение (вроде?), Но задаюсь вопросом, знает ли кто-нибудь, как это решение фактически создано (или друго

0зной

3ответ

Генерация стенографии сигнатуры функции

Давайте предположим, что функция foo() со следующими четырьмя перегрузками: foo(a, b) foo(a, b, d) foo(a, c) foo(a, c, d) Я хочу, чтобы создать сжатую строку, которая представляет все перегруженн

1зной

1ответ

Необходимое условие для грамматики неоднозначности

В моей записной книжке я написал: Необходимое условие для грамматики двусмысленности Он содержит правило A->BB, где А и В нетерминалы. ИЛИ оно содержит правило A->a|b, где A является нетерминальным, а

0зной

2ответ

Является ли следующее langauge регулярным? контекст бесплатно?

Учитывая следующую формулировку: L = { bi | i > 0 } U {aibi | i > 0 } бесплатно Является ли этот язык контекст? регулярные? Я пытался думать об этом, но никаких результатов до сих пор ..