Результаты поиска по запросу "theory"
Почему парсер рекурсивного спуска не может обработать рекурсию
Может кто-нибудь объяснить мне, почему парсеры с рекурсивным спуском не могут работать с грамматикой, содержащей левую рекурсию?
предоставляет некоторые дополнительные примеры обратимого анализа в Прологе.
ибудь знает о примерах и теории парсеров, которые возьмут (может быть) абстрактное синтаксическое дерево и произведут код, а не наоборот. Математически, по крайней мере, интуитивно, я считаю, что функция code-> AST обратима, но я пытаюсь найти ...
@scurial Я не думаю, что есть проблемы, которые могут быть решены людьми, но неразрешимы на машинах Тьюринга, не так ли?
ли компьютер «выучить» регулярное выражение на предоставленных пользователем примерах? Чтобы уточнить: я делаюнехочу выучить регулярные выражения.Я хочу создать программу, которая «изучает» регулярное выражение на примерах, которые ...
С другой стороны, математические доказательства не волнуют мир. Повторяющийся вопрос с математикой, если он описывает что-то реальное. Он возникает каждый раз, когда изобретается что-то новое, например, воображаемые числа или неевклидово пространство. Тогда вопрос забывается, поскольку эти новые теории являются такими хорошими инструментами. Как хорошая программа, она просто работает.
у компьютерная программа не может быть доказана так же, как математическое утверждение? Математическое доказательство построено на других доказательствах, которые построены от еще большего количества доказательств и вплоть до аксиом - тех истин ...
Для тех, кого я видел, алгоритмы довольно просты, просто найдите основной элемент и повторяйте его снова и снова. Я делаю это с помощью рекурсивных функций, но можно сделать по-другому.
я нет опыта программирования фракталов. Конечно, я видел знаменитые изображения Мандельброта и тому подобное.Можете ли вы предоставить мне простые алгоритмы ...
Почему Игра жизни Конвея может быть классифицирована как универсальная машина?
Я недавно читал об искусственной жизни и наткнулся на утверждение,«Игра жизни Конвея демонстрирует достаточную сложность, чтобы быть классифицированной как у...
Путь от рекурсии к итерации
Я много использовал рекурсию в своих многолетних программах для решения простых задач, но я полностью осознаю, что иногда вам нужна итерация из-за проблем с памятью / скоростью. Итак, когда-то в очень далеком прошлом я попытался выяснить, ...