Extensional Language Property

languages

Definition

Extensional Language Property

A language property is extensional iff it depends only on the language itself.

Equivalently: if two Turing machines satisfy

This is the “semantics vs. syntax” separation used by Rice.