 |
|
| (informal): | models such that the models exhibit the same behavior when started in corresponding states. The homomorphism concepts makes it possible to test when for valid_simplification. A state correspondence can be shown to be a homomorphism if corresponding states can be shown to 1) always transition to corresponding states under the same input, and 2) to always yield the same (or equivalent) output. |