历克赛·里雅波诺夫——前苏联的“软件之父”编辑本段回目录
如果我们把上面介绍的计算机先驱列别杰夫(S．A．Lebedev)(1911–1973)称为“苏联的计算机之父”的话，那末，这里所要介绍的阿历克赛·里雅波诺夫(Alexej A．LYaponov)就应该被称为“苏联的软件之父”了。
Alexej A．LYaponov里雅波诺夫1911年10月8日生于莫斯科的一个文化世家。中学毕业以后，他没有考取他所向往的莫斯科国立罗蒙诺索夫大学，但他坚持在莫斯科大学听课，并以旁听生的身份参加该校的课程考试，终于在该校物理与数学系获得毕业证书，并于1939年以一篇有关集合论的出色论文获得莫斯科大学的博士学位。德国法西斯入侵苏联以后，里雅波诺夫参加红军炮兵部队，投入了伟大的卫国战争。战后，他先在炮兵学院当数学老师，1952年被莫斯科大学聘为数学教授，同时在苏联科学院斯塔克洛夫数学研究所兼职，任程序设计部主任。
Alexej A．LYaponov 1962年，他被调往苏联科学院西伯利亚分院数学研究所，任控制论部主任，被称为“苏联控制论之父”。但在他生命的最后20余年间，也就是从他在莫斯科大学和科学院任职开始，他的主要学术活动领域是在程序设计方面，尤其是在程序设计理论方面。
大家知道，利用计算机解题要编程序，要进行程序设计。题目不同，编出的程序不同；所用程序设计语言不同，编出的程序也不同。那末，程序的实质是什么?千变万化的程序有什么共同点?是否可以用统一的方式来描述?用专业术语来说，就是要为计算机程序建立一个统一的、科学的“模型”。就像工程模型(例如大坝模型)对于大型工程的设计极为重要，化学反应的数学模型对于研究复杂的化学反应过程十分重要一样，程序的模型对于研究程序(程序的效率，程序的正确性验证，程序的优化……)也十分重要，历来是数学家和计算机科学家关注的焦点之一。历史上有过一些著名的模型，如图灵机(Turing Machine)、波斯特产生式(Post production)、马尔科夫算法(Markov algorithm)等就是其中比较著名的几种。里雅波诺夫在1954年前后提出了关于程序的“语句体系”(statement scheme)的概念，成为可以与上述模型媲美、而且具有相当特色、获得广泛应用的一种模型。
里雅波诺夫的语句体系以符号串的形式对程序进行形式化描述。每一个符号串表示的一个语句都属于下列三种类型之一：
Alexej A．LYaponov1．改变存储器内容的语句(赋值语句)；
2．根据存储器内容预计的值改变程序执行次序的语句(条件语句)；
3．修改其他语句以便将它们置于存储器的新的区域的语句(转移语句)。
里雅波诺夫的语句体系概念比较直观，易于应用于实际问题，尤其是为有关程序终止、等价、存储器的利用等特性的研究提供了有力的工具，编译器的设计者常用里雅波诺夫的这一概念实现目标代码的全局优化。苏联的软件工作者正是利用里雅波诺夫的语句体系首先在“箭”计算机上建立了一个编译器的原型，名为PP—1(program-ming program)，然后再发展为编译器的工业版本PP—2(按俄文的名称为ⅢⅢ—1和ⅢⅢ—2)。
里雅波诺夫1973年6月23日于莫斯科逝世，终年62岁。
里雅波诺夫的工作较早引起我国学术界的重视。《电子计算机动态》1959年10月号上曾经译载了他的一篇论述苏联在程序设计方面的理论研究的文章，也曾经介绍里雅波诺夫于1953年提出的用算子图描述程序的方法和PP—1。
个人简介编辑本段回目录
Alexey Andreevich Lyapunov (1911 – 1973) was a Soviet mathematician and early pioneer of computer science. One of the founders of cybernetics, Lyapunov was member of the Soviet Academy of Sciences and a specialist in the fields of real variable function theory, mathematical problems of cybernetics, set theory, programming theory, mathematical linguistics, and mathematical biology.
In 1928, Lyapunov enrolled in Moscow State University to study mathematics, and in 1932 became the protégé of Nikolai Luzin. Under his mentorship, Lyapunov began to research descriptive set theory.
From 1934 until the early 1950s, Lyapunov was a member of the faculty of the V.A. Steklova Mathematical Institute. When Mstislav Keldysh organized the Soviet Academy of Sciences Department of Applied Mathematics (now the M.V. Keldysh Institute of Applied Mathematics) he suggested Lyapunov to lead its work on programming.
In 1961, he was a member of the faculty at the Institute of Mathematics, Siberian Branch, Soviet Academy of Sciences, at which he founded the department of cybernetics. At Novosibirsk State University, he founded the Department of Theoretical Cybernetics. He later founded the Cybernetics Institute of Hydrodynamics of the Soviet Academy of Sciences, which he led until the end of his life.
In 1964, Lyapunov was elected a member of the Soviet Academy of Sciences of the Department of Mathematics.
He was awarded the Order of Lenin. In 1996, he was awarded the Pioneer of Computer Technology Medal.
