| dbo:abstract
|
- En càlcul lambda, un terme està en forma normal beta si no és possible fer cap reducció beta. Un terme està en forma normal beta-eta si no són possibles ni una reducció beta ni una reducció eta. Un terme està en forma normal de capçalera si no hi ha cap beta-redex en posició de capçalera. (ca)
- 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 head position. (en)
- Na teoria do cálculo lambda, um termo se encontra na forma normal beta se não é possível nenhuma redução beta. Da mesma forma, um termo se encontra na forma normal beta-eta se uma redução beta não é possível nem tampouco uma redução eta. (pt)
- 在 lambda 演算中，一个项是beta 范式（规范型），如果没有“beta 归约”是可能的。一个项是 beta-eta 范式，如果既没有 beta 归约又没有“eta 归约”是可能的。一个项是头部范式，如果没有“在头部位置的 beta-可规约式”。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5618 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- En càlcul lambda, un terme està en forma normal beta si no és possible fer cap reducció beta. Un terme està en forma normal beta-eta si no són possibles ni una reducció beta ni una reducció eta. Un terme està en forma normal de capçalera si no hi ha cap beta-redex en posició de capçalera. (ca)
- 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 head position. (en)
- Na teoria do cálculo lambda, um termo se encontra na forma normal beta se não é possível nenhuma redução beta. Da mesma forma, um termo se encontra na forma normal beta-eta se uma redução beta não é possível nem tampouco uma redução eta. (pt)
- 在 lambda 演算中，一个项是beta 范式（规范型），如果没有“beta 归约”是可能的。一个项是 beta-eta 范式，如果既没有 beta 归约又没有“eta 归约”是可能的。一个项是头部范式，如果没有“在头部位置的 beta-可规约式”。 (zh)
|
| rdfs:label
|
- Forma normal beta (ca)
- Β-Normalform (de)
- Beta normal form (en)
- Forma normal beta (pt)
- Beta范式 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
