Tag lambda-calculus - Это страница 56 - GeneraCodice

Подходит ли исчисление Lambda для выражения семантики нефункциональных языков?

https://www.generacodice.com/ru/articolo/1125108/подходит-ли-исчисление-lambda-для-выражения-семантики-нефункциональных-языков
  semantics  -  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

Как решить сферу действия следующего выражения лямбда?

https://www.generacodice.com/ru/articolo/1124349/как-решить-сферу-действия-следующего-выражения-лямбда
  lambda-calculus
cs.stackexchange cs.stackexchange

Что такое преждевременный паритор?

https://www.generacodice.com/ru/articolo/1123789/что-такое-преждевременный-паритор
  lambda-calculus  -  parsers  -  type-checking
cs.stackexchange cs.stackexchange

Есть ли всегда ограниченная, ограниченная модель вычислений, принимающая $ r $, но не $ re $?

https://www.generacodice.com/ru/articolo/1122791/есть-ли-всегда-ограниченная-ограниченная-модель-вычислений-принимающая-r-но-не-re
  turing-machines  -  computability  -  lambda-calculus  -  halting-problem  -  computation-models
cs.stackexchange cs.stackexchange

Что делает исчисление Lambda актуальным для изучения?

https://www.generacodice.com/ru/articolo/1121534/что-делает-исчисление-lambda-актуальным-для-изучения
  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

Замена структурной рекурсией

https://www.generacodice.com/ru/articolo/1118576/замена-структурной-рекурсией
  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

Анонимные функции лямбда (функциональное программирование)

https://www.generacodice.com/ru/articolo/1118226/анонимные-функции-лямбда-функциональное-программирование
  functional-programming  -  logic  -  programming-languages  -  lambda-calculus
cs.stackexchange cs.stackexchange

Ясный, интуитивно понятный вывод комбинатора с фиксированной запятой (Y combinator)?

https://www.generacodice.com/ru/articolo/1118110/ясный-интуитивно-понятный-вывод-комбинатора-с-фиксированной-запятой-y-combinator
  logic  -  programming-languages  -  computability  -  lambda-calculus  -  combinatory-logic
cs.stackexchange cs.stackexchange

Может ли кто-нибудь привести простой, но не в тени пример контекстной грамматики?

https://www.generacodice.com/ru/articolo/1111985/может-ли-кто-нибудь-привести-простой-но-не-в-тени-пример-контекстной-грамматики
  programming-languages  -  lambda-calculus  -  formal-grammars  -  context-sensitive
cs.stackexchange cs.stackexchange

«Приложенный порядок» и «нормальный порядок» в Lambda-Calculus

https://www.generacodice.com/ru/articolo/1111949/приложенный-порядок-и-нормальный-порядок-в-lambda-calculus
  logic  -  lambda-calculus  -  normal-forms
cs.stackexchange cs.stackexchange
Результаты найдены: 627
scroll top