Definition
Extensional Function Property
A function property
is extensional iff it depends only on the computed function (its graph), not on how it’s implemented. Equivalently: if two Turing machines
compute the same function:
Extensional Function Property
A function property
is extensional iff it depends only on the computed function (its graph), not on how it’s implemented. Equivalently: if two Turing machines
compute the same function: