John R. Myhill (ur. 11 sierpnia 1923, zm. 15 lutego 1987) – brytyjski matematyk. Od roku 1966 aż do śmierci był wykładowcą na Uniwersytecie Stanowym Nowego Jorku. Wykładał też na kilku innych uniwersytetach.
Jego syn, John Myhill, jest wykładowcą lingwistyki na wydziale anglistyki Uniwersytetu w Hajfie.
Działalność naukowa Myhill uzyskał doktorat w roku 1949 pod kierunkiem Willarda Van Orman Quine’a, co ukierunkowało jego zainteresowania badawcze.
W teorii języków formalnych Myhill wspólnie z Anilem Nerodem jest autorem twierdzenia Myhilla-Nerode’a, charakteryzujące języki regularne jako takie, które dopuszczają jedynie skończoną liczbę nierównoważnych prefiksów.
W teorii obliczalności twierdzenie Rice’a, znane czasem też jako twierdzenie Rice’a-Myhilla-Shapiro mówi, że dla dowolnej nietrywialnej własności P określonej dla funkcji częściowych stwierdzenie, czy dana maszyna Turinga realizuje daną funkcję z własnością P jest nierozstrzygalne. Z kolei twierdzenie Myhilla o izomorfizmie jest w teorii obliczalności analogiem twierdzenia Cantora-Bernsteina.