|
-1 / 4 / 0
Регистрация: 24.03.2012
Сообщений: 76
|
|
Формальная грамматика с простыми числами!13.04.2016, 20:48. Показов 1223. Ответов 1
Есть задание, я так понял что оно с подвохом уже. Нужно создать формальную грамматику где будет получаться язык: {a^p, где p - простое число} Как я понял - наборы букв аа, ааа, ... Почитав гугл и вики .. ничего нормального я не нашел кроме Решета Эратосфена, но как его забить в грамматику не понимаю. Или тут нужно подумать как то ИНАЧЕ, ибо все простые числа мы точно не сможем вывести ... Помогите пожалуйста!
0
|
|
(| 13.04.2016, 20:48 | |
|
Ответы с готовыми решениями:
1
Исчисление предикатов первого порядка как формальная система Формальная грамматика Формальная грамматика |
 5014 / 3626 / 1163
Регистрация: 01.09.2014
Сообщений: 9,787
|
|
| 13.04.2016, 22:33 | |
|
Используя лемму о накачке, докажите, что этот язык не является контекстно-свободным.
0
|
|
| 13.04.2016, 22:33 | ||||||
|
Помогаю со студенческими работами здесь
2
Формальная грамматика Формальная грамматика Вывести на экран числа, являющиеся одновременно простыми числами и числами Фибоначчи Найти все натуральные числа меньше N, которые одновременно являются числами Фибоначчи и простыми числами Найти все натуральные числа меньше N, которые одновременно являются числами Фибоначчи и простыми числами. Искать еще темы с ответами Или воспользуйтесь поиском по форуму:
|
|
Новые блоги и статьи
|
||||
|
Результаты исследования от команды MCM (март 2025 г.)
Programma_Boinc 07.04.2025
Результаты исследования от команды MCM (март 2025 г. )
В рамках наших текущих исследований мы продолжаем изучать гены, которые имеют наибольшую вероятность развития рака легких, выявленные в рамках. . .
|
Рекурсивные типы в Python
py-thonny 07.04.2025
Рекурсивные типы - это типы данных, которые определяются через самих себя или в сочетании с другими типами, которые в свою очередь ссылаются на исходный тип. В мире программирования такие структуры. . .
|
C++26: Объединение и конкатенация последовательностей и диапазонов в std::ranges
NullReferenced 07.04.2025
Работа с последовательностями данных – одна из фундаментальных задач, с которой сталкивается каждый разработчик. C++ прошел длинный путь в эволюции средств для манипуляции коллекциями – от. . .
|
Обмен данными в микросервисной архитектуре
ArchitectMsa 06.04.2025
Когда разработчики начинают погружаться в мир микросервисов, они часто сталкиваются с парадоксальным правилом: "два сервиса не должны делить один источник данных". Эта мантра звучит повсюду в. . .
|
PostgreSQL в Kubernetes: Автоматизация обслуживания с CNPG
Mr. Docker 06.04.2025
Администраторы баз данных сталкиваются с целым рядом проблем при обслуживании PostgreSQL в Kubernetes: как обеспечить правильную репликацию данных, как настроить автоматическое переключение при. . .
|
|
Async/await в TypeScript
run.dev 06.04.2025
Асинхронное программирование — это подход к разработке программного обеспечения, при котором операции выполняются независимо друг от друга. В отличие от синхронного выполнения, где каждая последующая. . .
|
Многопоточность в C#: Синхронизация потоков
UnmanagedCoder 06.04.2025
Многопоточное программирование стало неотъемлемой частью разработки современных приложений на C#. С появлением многоядерных процессоров возможность выполнять несколько задач параллельно значительно. . .
|
TypeScript: Классы и конструкторы
run.dev 06.04.2025
TypeScript, как статически типизированный язык, построенный на основе JavaScript, привнес в веб-разработку новый уровень надежности и структурированности кода. Одним из важнейших элементов этой. . .
|
Многопоточное программирование: Rust против C++
golander 06.04.2025
C++ существует уже несколько десятилетий и его поддержка параллелизма постепенно наращивалась со временем. Начиная с C++11, язык получил стандартную библиотеку для работы с потоками, а в последующих. . .
|
std::vector в C++: от основ к оптимизации производительности
NullReferenced 05.04.2025
Для многих программистов знакомство с std::vector происходит на ранних этапах изучения языка, но между базовым пониманием и подлинным мастерством лежит огромная дистанция. Контейнер std::vector. . .
|
