# Application

fg or Application[f,g]

represents the formal application of f to g.

# Examples

open allclose all

## Basic Examples(2)

Represent a combinatory term:

Apply the standard reduction rules of combinatory logic:

## Applications(1)

Prove an identity among combinators:

## Properties & Relations(3)

Convert from a formal application to an application in the Wolfram Language:

Alternatively, replace the operator:

Convert from a Wolfram Language application to a formal application:

Get the reduction rules for some notable combinators:

Apply the rules to combinatory terms:

## Possible Issues(1)

Many interesting combinatory terms do not have a normal form, so they keep changing forever:

This term leads to a cycle of length 2:

## Neat Examples(2)

The reduction rule for the Turing combinator:

Prove that is a fixed-point combinator:

Eliminate variables to convert arbitrary terms into combinator form:

Find the combinator that doubles its argument:

Find the combinator for a function application:

Verify the result by applying the standard combinatory reductions for and :

Wolfram Research (2020), Application, Wolfram Language function, https://reference.wolfram.com/language/ref/Application.html.

#### Text

Wolfram Research (2020), Application, Wolfram Language function, https://reference.wolfram.com/language/ref/Application.html.

#### CMS

Wolfram Language. 2020. "Application." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Application.html.

#### APA

Wolfram Language. (2020). Application. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Application.html

#### BibTeX

@misc{reference.wolfram_2024_application, author="Wolfram Research", title="{Application}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/Application.html}", note=[Accessed: 19-June-2024 ]}

#### BibLaTeX

@online{reference.wolfram_2024_application, organization={Wolfram Research}, title={Application}, year={2020}, url={https://reference.wolfram.com/language/ref/Application.html}, note=[Accessed: 19-June-2024 ]}