艾伦·图灵
They were described in 1936 by Alan Turing.