@@ -388,9 +394,11 @@
computation |
- decomposed extended computation |
- dxprs ( â¦?,?⦠⢠? â¢*â¡*[?] ? ) |
- dxprs_lift dxprs_lpss dxprs_aaa dxprs_dxprs |
+ context-sensitive extended evaluation |
+ cpxe ( â¦?,?⦠⢠â¡*[?] ðâ¦?⦠) |
+
+
+ |
|
@@ -402,9 +410,9 @@
|
- context-sensitive extended computation |
- cpxs ( â¦?,?⦠⢠? â¡*[?] ? ) |
- cpxs_lift |
+ context-sensitive evaluation |
+ cpre ( ? ⢠â¡* ðâ¦?⦠) |
+ cpre_cpre |
|
@@ -416,9 +424,9 @@
|
- weakly normalizing computation |
- cpe ( ? ⢠â¡* ðâ¦?⦠) |
- cpe_cpe |
+ strongly normalizing computation |
+ csn_vector ( ? ⢠â¬* ? ) |
+ csn_tstc_vector csn_aaa |
|
@@ -430,9 +438,23 @@
|
- strongly normalizing computation |
- csn_vector ( ? ⢠â¬* ? ) |
- csn_tstc_vector csn_aaa |
+
+
+ |
+ csn ( ? ⢠â¬* ? ) |
+ csn_alt ( ? ⢠â¬â¬* ? ) |
+ csn_lift csn_lpx |
+
+
+ |
+
+
+
+
+ |
+ decomposed extended computation |
+ dxprs ( â¦?,?⦠⢠? â¢*â¡*[?] ? ) |
+ dxprs_lift dxprs_lpss dxprs_aaa dxprs_dxprs |
|
@@ -440,6 +462,18 @@
+
+
+
+ |
+ context-sensitive extended computation |
+ lpxs ( â¦?,?⦠⢠â¡*[?] ? ) |
+ lpxs_alt ( â¦?,?⦠⢠â¡â¡*[?] ? ) |
+ lpxs_ldrop lpxs_aaa lpxs_cpxs lpxs_lpxs |
+
+
+ |
+
@@ -447,9 +481,11 @@
|
|
- csn ( ? ⢠â¬* ? ) |
- csn_alt ( ? ⢠â¬â¬* ? ) |
- csn_lift csn_lpr |
+ cpxs ( â¦?,?⦠⢠? â¡*[?] ? ) |
+ cpxs_tstc cpxs_tstc_vector cpxs_lift cpxs_aaa cpxs_cpxs |
+
+
+ |
|
@@ -461,7 +497,7 @@
context-sensitive computation |
lprs ( ? ⢠â¡* ? ) |
lprs_alt ( ? ⢠â¡â¡* ? ) |
- lprs_ldrop lprs_lpss lprs_aaa lprs_cprs lprs_lprs |
+ lprs_ldrop lprs_lpss lprs_cprs lprs_lprs |
|
@@ -474,7 +510,7 @@
cprs ( ? ⢠? â¡* ?) |
- cprs_tstc cprs_tstc_vector cprs_lift cprs_lpss cprs_aaa cprs_cprs |
+ cprs_lift cprs_lpss cprs_cprs |
|
@@ -510,6 +546,20 @@
reduction |
+ context-sensitive extended normal forms |
+ cnx ( â¦?,?⦠⢠ð[?]â¦?⦠) |
+ cnx_lift cnx_crx cnx_cix |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
context-sensitive extended reduction |
lpx ( â¦?,?⦠⢠â¡[?] ? ) |
lpx_ldrop lpx_aaa |
@@ -528,7 +578,49 @@
cpx ( â¦?,?⦠⢠? â¡[?] ? ) |
- cpx_lift |
+ cpx_lift cpx_cix |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ context-sensitive extended irreducible forms |
+ cix ( â¦?,?⦠⢠ð[?]â¦?⦠) |
+ cix_append cix_lift |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ context-sensitive extended reducible forms |
+ crx ( â¦?,?⦠⢠ð[?]â¦?⦠) |
+ crx_append crx_lift |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ local env. ref. for extended reduction |
+ lsubx ( ? ââ ? ) |
+ lsubx_lsubx |
|
@@ -541,8 +633,8 @@
context-sensitive normal forms |
- cnf ( ? ⢠ðâ¦?⦠) |
- cnf_liftt cnf_crf cnf_cif |
+ cnr ( ? ⢠ðâ¦?⦠) |
+ cnr_lift cnr_crr cnr_cir |
|
@@ -572,7 +664,21 @@
cpr ( ? ⢠? ⡠? ) |
- cpr_lift cpr_cif |
+ cpr_lift cpr_cir |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ context-sensitive irreducible forms |
+ cir ( ? ⢠ðâ¦?⦠) |
+ cir_append cir_lift |
|
@@ -585,10 +691,14 @@
context-sensitive reducible forms |
- crf ( ? ⢠ðâ¦?⦠) |
- crf_append |
- cif ( ? ⢠ðâ¦?⦠) |
- cif_append |
+ crr ( ? ⢠ðâ¦?⦠) |
+ crr_append crr_lift |
+
+
+ |
+
+
+ |
unfold |
@@ -1044,6 +1154,6 @@
- Last update: Thu, 20 Jun 2013 19:25:05 +0200
+ Last update: Sun, 21 Jul 2013 00:11:48 +0200