Rewriting systems can be seen as programs that infer end-effects from a list of cause-effect relationships.
Системи рерайтинга можуть розглядатися як програми, які виводять кінцеві ефекти зі списку причинно-наслідкових зв'язків.