formal-languages

2зной

3ответ

Каковы лучшие сайты для изучения формальных языков, автоматов, алгоритмов и структуры данных?

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

0зной

1ответ

Загрузка спецификации Z для mac

извините, если это не относится к переполнению, но у меня есть настоятельное желание продолжить разработку спецификаций с использованием Z, поскольку я пришел, чтобы изучить его во время uni в этом го

2зной

2ответ

Имеет ли этот язык автоматы Pushdown (PDA)?

Язык: {A n B (2n) C n | где n> = 0} Я думаю, что это возможно, потому что вы можете обрабатывать его следующим образом: нажмите A, нажмите B, для каждого C поп три раза из стека, если нет C и стека пу

4зной

1ответ

Подтвердить строку, указанную Контекст Свободная грамматика в Java

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

6зной

4ответ

Бесконечный язык не может быть регулярным? Что такое конечный язык?

я прочитал это в книге о вычислимости: (теорема Клини) Язык регулярен тогда и только тогда, когда он может быть получено из конечных языков, применяя объединение трех операций, конкатенации, повторени

1зной

2ответ

Тьюринговые машины

Я читаю книгу на языках & Автоматы, и я не понимаю машины Тьюринга. Я без каких-либо проблем научил себя NFA NFA и Pushdown Automata. Может кто-нибудь объяснить, что это делает? В = {ш # ш | W ∈ {0, 1

1зной

1ответ

перевод грамматики (написанной в ANTLR) языка в формальный язык/математические обозначения

В моем текущем проекте мой босс назначил задачу выражения грамматики (написанной в ANTLR) языка, специфичного для домена, на формальный язык/нотации. Например, следующий небольшой фрагмент кода грамма