redex

redex
noun /ˈɹiːdɛks/
Something to be reduced according to the rules of a formal system.

Wikipedia foundation.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • REDEX — Ranging Equipment Diagnostic EXpert system Contributor: CASI …   NASA Acronyms

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • Jack Davey — John Andrew Davey (8 February 1907 14 October 1959) was a New Zealand born star of Australian radio in the 1930s, 40s and 50s. New Zealand Jack Davey was born John Andrew Davey on 8 February 1907 and educated at King s College, Auckland. Davey… …   Wikipedia

  • Overlap (term rewriting) — In mathematics, computer science and logic, overlap, as a property of the reduction rules in term rewriting system, describes a situation where a number of different reduction rules specify potentially contradictory ways of reducing a reducible… …   Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • Robert Bruce Findler — Robert Bruce Findler, colloquially known as Robby , is a computer scientist, currently teaching at the University of Chicago. He is also a member of PLT and, as such, responsible for the creation and maintenance of DrScheme. In addition to… …   Wikipedia

  • Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …   Wikipédia en Français

  • Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”