Myhill Boaz Myhill John Myhill Kirby Myhill Myhill congruence Myhill graph Myhill isomorphism theorem Myhill's constructive set theory Myhill's property Myhill–Nerode theorem Rice-Myhill-Shapiro theorem