class "water"
[ { "computation" * } {
[ { "strongly normalizing computation" * } {
- [ "csn ( ⬇* ? )" "csn_lift" "csn_cr" "csn_aaa" * ]
+ [ "csn_cr" "csn_aaa" * ]
+ [ "csn ( ⬇* ? )" "csn_lift" "csn_cpr" "csn_cprs ( ⬇** ? )" "csn_lcpr" * ]
}
]
[ { "context-sensitive computation" * } {
}
]
[ { "context-sensitive reduction" * } {
- [ "lcpr ( ? ⊢ ➡ ? )" * ]
+ [ "lcpr ( ? ⊢ ➡ ? )" "lcpr_cpr" * ]
[ "cpr ( ? ⊢ ? ➡ ? )" "cpr_lift" "cpr_ltpss" "cpr_ltpr" "cpr_cpr" * ]
}
]