language-theory

8зной

4ответ

regexp-подобная библиотека для поиска шаблона матрицы

Есть ли библиотека (на любом языке), которая может искать шаблоны в таких матрицах, как регулярные выражения, для строк? Что-то вроде регулярных выражений для матриц или любого метода поиска шаблонов

2зной

1ответ

Теория формальных языков - Automaton

Мне интересно о формальных языках. У меня есть своего рода парсер: Он читает сериализованную древовидную структуру, похожую на xml, и превращает ее в многомерный массив. Моя точка зрения заключается в

14зной

6ответ

Что означает, что язык статически типизирован?

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

2зной

6ответ

Какова возможная польза (если таковая имеется) разрешения рекурсивных конструкторов?

В Java конструкторы не могут быть рекурсивными. Ошибка времени компиляции: «вызов рекурсивного конструктора». Предположим, что у нас не было этого ограничения. Вещи, чтобы иметь в виду: Возвращаемый т

4зной

6ответ

Есть ли объектно-ориентированный статический типизированный язык с переменными с несколькими типами?

Мне нравится читать о теориях программирования, так что вы могли бы рассказать мне, есть ли объектно-ориентированный статический типизированный язык, позволяющий переменным иметь несколько типов? Прим

3зной

4ответ

Определение срока службы

Что такое среда выполнения? И я не имею в виду «во время выполнения» = при запуске программы/скрипта. Я имею в виду < ваш интерпретировано-язык здесь > выполнения

8зной

2ответ

Что такое административные переделки после преобразования CPS?

В контексте схемы и CPS преобразования, у меня немного проблемы, решая, какие административные redexes (лямбды) точно являются: все лямбда-выражения, которые вводятся с помощью преобразования КПС толь