我知道这是一个非常学术性的问题，但我希望有人能帮助我得到答案。
我正在使用一个并发类，我们使用LTS'es和FLTL。在我们的一个任务中，给出了一个问题：“给出一个活动属性的例子，表示为FLTL公式，不能表示为进度属性。” 只是为了澄清，我不想要这个问题的答案。
我的问题是我一直认为2为1 :)所以为了回答这个问题，我需要知道进度和活力属性之间的区别。
非常感谢任何帮助：）
答案 0 :(得分：1)
活跃属性，就是当你定义它时，在将来的某个时刻程序将执行程序的给定部分。在FSP中，您可以将大多数活动属性定义为进度属性，但在您的作业中，您必须提供一个示例，其中将活动属性表示为FLTL，但您不能将其作为进度属性。
你必须在FSP中查找FLTL公式和进度属性的定义，看看它们是如何不同的，然后想出一个例子，其中FSP进度属性中的一些限制不能表示为一个。
此外，我只是读了一下它，看来，在FSP的进步属性中，你无法描述一个“松散”的活跃性，例如，当动作“进入”发生时，其他一些可能行动可能发生了，但最终会发生“退出”动作。这不能被描述为进度属性，因为你只能描述细节，例如“进入”发生和“退出”发生，并且在公平的假设下它们将无限地经常发生，但是在FLTL中它是可能的比如说，[]（输入 - ＆gt;＆lt;＆gt;退出），这意味着总是在“输入”发生时最终会发生“退出”。这是FSP和FLTL形式主义进步的巨大差异。