Alphabet
h
:
[o → o] ⟶ o
g
:
[o × o] ⟶ o
f
:
[o × o] ⟶ o
b
:
o
a
:
o
Variables
x
:
o
F
:
o → o
Rules
f
(
x
,
b
)
⇒
g
(
x
,
x
)
g
(
x
,
a
)
⇒
f
(
x
,
x
)
h
(
F
)
⇒
F
·
a
h
(
F
)
⇒
F
·
b