formal-languages

0зной

2ответ

Рассмотрим следующее уравнение: Это не читается, потому что акцент заставляет j и i точки исчезают, в то время как переменная argmax, я с его точкой. Как я могу заставить точки появляться и все еще ис

3зной

1ответ

Z в Isabelle

Я пытаюсь ввести и доказать спецификации Z в Isabelle. Скажет, у меня есть спецификация торгового автомата написано в формате LaTeX: \begin{zed} price:\nat \end{zed} \begin{schema}{VMSTATE

0зной

1ответ

В формальных языках и автоматах «x ==> y» произносится как x выводит y. то как мы скажем x -> y?

Просто мне нужно знать произношение x-->y

1зной

2ответ

Каким будет число достижимых состояний, если состояния модели Petri-Net находятся в цикле

Если у меня есть модель Петри-сетки из 8 мест и 8 транзакций. В этой модели нет мертвого состояния, потому что токен находится в цикле и пройдя все 8 мест в первом цикле. Во второй и оставшейся петлях

3зной

2ответ

Параметр регулярных выражений для разбора вложенных структур

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

0зной

1ответ

Решая первого последующего конфликта в грамматике

я в настоящее время возникают проблемы, решая такого рода конфликта в грамматике: A -> (A)A' A -> 0A' A -> 1A' A'-> NAND A A' A'-> eps Проблема в том, что первый из А»NAND - а также часть его на

-3зной

2ответ

напишите выражение регулярного выражения для набора строк над алфавитом {a, b, c), содержащим хотя бы один a и по меньшей мере один b

напишите выражение регулярного выражения для набора строк по алфавиту {a, b, c), содержащий по меньшей мере один а и по меньшей мере один б Я хочу ответить на этот вопрос, Может кто-нибудь мне помочь?