-name "ld_basic_2_src"
+name "basic_2_src"
table {
class "grey"
]
class "water"
[ { "computation" * } {
- [ { "strongly normalizing computation" * } {
+ [ { "weakly normalizing computation" * } {
+ [ "cpe ( ? ⊢ ? ⊢ ➡* 𝐍[?] )" "cpe_cpe" * ]
+ }
+ ]
+ [ { "strongly normalizing computation" * } {
[ "csn_vector ( ⬇* ? )" "csn_cpr_vector" "csn_tstc_vector" "csn_aaa" * ]
[ "csn ( ⬇* ? )" "csn_lift" "csn_cpr" "csn_cprs ( ⬇** ? )" "csn_lcpr" * ]
}
]
[ { "context-sensitive computation" * } {
[ "lcprs ( ? ⊢ ➡* ? )" "lcprs_cprs" "lcprs_lcprs" * ]
- [ "cprs (? ⊢ ? ➡* ?)" "cprs_lift" "cprs_lcpr" "cprs_cprs" "cprs_lcprs" "cprs_tstc" "cprs_tstc_vector" * ]
+ [ "cprs (? ⊢ ? ➡* ?)" "cprs_lift" "cprs_ltpr" "cprs_lcpr" "cprs_cprs" "cprs_lcprs" "cprs_tstc" "cprs_tstc_vector" * ]
}
]
[ { "local env. ref. for abstract candidates of reducibility" * } {