λ³Έ μ°κ΅¬λ μμ± λͺ¨λΈμ΄ μ νν λ°μ΄ν°λ‘ νμ΅ν λ λ°μνλ κ·Όλ³Έμ μΈ λ¬Έμ , μ¦ κ²½νμ λΆν¬ νμ΅μΌλ‘ μΈν κ³Όμ ν© νμμ λΆμν©λλ€. μ°κ΅¬μ§μ 'κ·μΉ μ ν¨μ± λ¬μ± μμ '($\tau_{\mathrm{rule}}$)κ³Ό 'νλ ¨ μν μ¬ν μμ '($\tau_{\mathrm{mem}}$)μ΄λΌλ λ κ°μ§ νμ΅ μκ³μ΄μ λμ
νμ¬, κ·μΉμ 볡μ‘μ±κ³Ό λͺ¨λΈ μ©λμ΄ $\tau_{\mathrm{rule}}$μ μν₯μ λ―ΈμΉκ³ λ°μ΄ν°μ
ν¬κΈ°κ° $\tau_{\mathrm{mem}}$μ μ£Όλ‘ μν₯μ λ―ΈμΉλ€λ κ²μ λ°νμ΅λλ€. μ΄ λ μμ μ¬μ΄μ 'νμ μ°½'($[\tau_{\mathrm{rule}}, \tau_{\mathrm{mem}}]$)μ μ μνκ³ , μ΄ μ°½μ ν¬κΈ°κ° λ°μ΄ν°μ
ν¬κΈ°μ κ·μΉ 볡μ‘μ±μ λ°λΌ λ¬λΌμ§λ©°, μ¬μ§μ΄ μλ©Έν μλ μμμ 보μ
λλ€.