Definition
Non-Trivial Language Property
A language property that is not trivial.
Non-Trivial Language Property
Fix an alphabet
and let be a chosen universe of languages (typically , the recursively enumerable languages for Rice’s theorem). A language property
is non-trivial iff