马青(谁是马青？——回顾马青在信息学领域的贡献)

马青是国际信息学界的杰出人物，被誉为“计算理论之父”，为计算机时代的来临铺平了道路。在信息学领域，马青提出了包括图灵机、图灵停机、自动机等许多重要概念和理论。他还为计算机编程语言的发展做出了重要贡献。

马青的最重大成就是图灵机理论的创立。他对图灵机进行了完整而深刻的阐释，以此带领信息学者们通往计算理论的高峰，并在此基础上提出了计算理论的一个基础概念——可计算性。可计算性最终演变成了当今计算机科学中的自动机理论。

马青也为编程语言的发展做出了重要贡献。他提出了递归子程序（recursive subprograms）的概念，这对于今天流行的高级编程语言非常重要。在此基础上，他还设计出了MAD（Michigan Algorithm Decoder）编译器，并且为此领域的发展和探索打下了基础。