Alphabet
a
:
N
f
:
[N] ⟶ N
Variables
X
:
N → N
Rules
X
·
a
⇒
f
(
a
)