软件设计中的等价概念

信息系统中的设计方法经常使用形式语言创建软件描述。然而，大多数软件设计者更喜欢使用自然语言描述软件。这种区别不仅仅是方便与否的问题。自然语言与形式语言不同；特别是，自然语言不遵循形式语言使用的等价概念。在本文中，我们通过扩展形式语言中使用的预言机概念，展示了不同等价概念的存在与共存。这使得可以区分形式语言假定的可信预言机与自然语言使用的不可信预言机。通过考察等价概念，我们希望鼓励软件设计者重新思考歧义在软件设计中的地位。