仿真（计算机科学）
在理论计算机科学中，仿真是一种状态转换系统之间的关系，将行为方式相同的系统联系起来，即一个系统模拟另一个系统。直观地说，如果一个系统能够匹配另一个系统的所有动作，那么它就模拟了另一个系统。基本定义涉及一个过渡系统内的状态，但这很容易通过建立一个由相应组件的不相交的联合体组成的系统来联系两个独立的过渡系统。
正式定义
给定一个标记的状态过渡系统是一组标签，→是一组有标签的转换（即一个子集）。是一个标签集，→是一个有标签的过渡集，一个关系R⊆S×S，关系R⊆S×S是一个模拟，当且仅当对于每一对状态模拟的集合在并集下是封闭的；因此，模拟预排序本身就是一个模拟。由于它是所有模拟的联合，所以它是xxxxxx的模拟。模拟在反身和传递性封闭下也是封闭的；因此，xxx的模拟必须是反身和传递性的。由此可见，xxx的模拟–模拟前序–确实是一个前序关系。请注意，可以有不止一个既是模拟又是前序的关系；术语模拟前序是指其中xxx的一个（它是所有其他关系的超集）。只有在以下情况下才称为相似。.因此，相似性是模拟前序的xxx对称子集，这意味着它是反身的、对称的和传递的；因此是一种等价关系。然而，它不一定是一个模拟，恰恰是在那些不是模拟的情况下，它严格地比双相似性更粗（意味着它是双相似性的超集）。为了证明这一点，考虑一个模拟的相似性。由于它是对称的，所以它是一个双模拟。因此，它必须是双相似性的一个子集，而双相似性是所有双模拟的联盟。然而，我们很容易看到，相似性总是双相似性的超集。由此可见，如果相似性是一个模拟，它就等于双相似性。如果它等于双相似性，它自然就是一个模拟。
因此，当且仅当相似性等于双相似性时，相似性是一种模拟。如果它不等于，它一定是它的严格超集；因此是一个严格意义上的粗等价关系。意味着两个模拟的联合是一个模拟。