In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve problems of verification of functional programs. The proposed approach is illustrated by an example of verification of a sorting program.

中文翻译：

---

功能程序的状态图

在本文中，我们介绍了与功能程序相关的图形对象（称为状态图）。结果表明，功能程序的状态图可以用来解决功能程序的验证问题。所提出的方法通过一个排序程序的验证示例来说明。