А как в формулах вроде ∀ x : α, smth называется часть, которая здесь представлена как smth ?
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 1. Существует ли какое-то обобщение над понятием системы с...
Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен если желающие здесь конструктивно прокомментируют, покритикуют и т.д. https://docs.google.com/document...
Допустим есть некая последовательность неких элементов. В ходе некоторого вычисления, элементы из данной последовательности отбираются в некую производную последовательность....
А есть примеры систем, в которых на ряду с термами, существуют сущности другой природы, которым также приписываются типы? То есть, например, термам приписываются одни типы, с...
Допустим есть чистый функциональный язык, в котором естественно значение "переменной" меняться не может. Возьмём Haskell. В нечистом языке, мы можем просто изменить значение...
Вот есть автоматы с магазинной памятью, в которых память это стек. А есть автоматы, в которых память это словарь/ассоциативный массив/отображение ?
Существует ли какое-то исчисление/теория/логика предметом которого являются некие объекты любой природы и многомерные последовательности таких объектов? P.S. многомерная посл...
Есть некая функция f. Есть строка (std::string) по имени s. И есть смещение (типа std::string::size_type) в этой строке по имени p. Функция f работает с частью строки по имени...
Странный вопрос: one = 1 one это получается именованная константа со значением 1. true обычно также считается именованной константой, но это же (true) является значением эт...
Обычно говорят что в формальной системе, аксиомы это предложения, которые всегда имеют значение "истина". Вопрос в моём стиле: Что если в формальной системе аксиомы будут им...
Как называется часть компилятора, которая отображает имена переменных в адреса? надеюсь вопрос поставлен не очень коряво🤪
Какие есть способы проверить равенство значений двух термов/выражений, кроме того когда оба выражения приводять к нормальной форме и сравнивают уже нормальные формы ?
Какая ваша любимая книга по теории формальных языков?
И как такие системы правильно называть, чтобы гуглить?
Являются ли тИповые переменные в объявлении функции её неявными параметрами?
какое‐нибудь https://arxiv.org/pdf/1705.07442.pdf считается? Там три контекста для разных сущностей
Здравствуйте, подскажите пожалуйста как можно убрать копипаст в строках кода с 11 по 24? http://coliru.stacked-crooked.com/a/9c489bc5467ce978