アラン・チューリング
They were described in 1936 by Alan Turing.