John R. Myhill Sr. (11 August 1923 – 15 February 1987)[1] was a British mathematician.
Myhill received his Ph.D. from Harvard University under the supervision of Willard Van Orman Quine in 1949.
His son, also called John Myhill, is a professor of linguistics in the English department of the University of Haifa in Israel.
He is also known for posing the firing squad synchronization problem of designing an automaton that, starting from a single non-quiescent cell, evolves to a configuration in which all cells reach the same non-quiescent state at the same time; this problem was again solved by Moore.
[7] In music theory, Myhill's property is a mathematical property of musical scales described by John Clough and Gerald Myerson and named by them after Myhill.