Myhill's property

GPTKB entity
AI-created image of Myhill's property
AI-created image

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo sets of formal languages
gptkbp:concerns decision problems about languages
gptkbp:describes nontrivial properties of recursively enumerable languages
gptkbp:field formal language theory
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label Myhill's property
gptkbp:implies undecidability of certain language properties
gptkbp:namedAfter gptkb:John_Myhill
gptkbp:relatedTo gptkb:Rice's_theorem
gptkbp:statedIn 1950s
gptkbp:bfsParent gptkb:John_Myhill
gptkbp:bfsLayer 3