2017 February 19.
@@ -201,8 +208,8 @@
-
2016 April 16.
- Grammatical component reconstructed:
- grammar, relocation, s_transition, s_computation, static
+ Syntactic component reconstructed:
+ syntax, relocation, s_transition, s_computation, static
(anniversary milestone).
@@ -370,7 +377,7 @@
rt-computation |
- uncounted context-sensitive rt-transition |
+ uncounted context-sensitive rt-computation |
csx_vector ( â¦?,?⦠⢠â¬*[?,?] ðâ¦?⦠) |
@@ -394,7 +401,7 @@
|
lfpxs ( â¦?,?⦠⢠â¬*[?,?] ? ) |
- lfpxs_length lfpxs_fqup |
+ lfpxs_length lfpxs_fqup lfpxs_cpxs |
@@ -404,15 +411,23 @@
|
cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
- cpxs_tdeq cpxs_drops cpxs_lfpx cpxs_cpxs |
+ cpxs_tdeq cpxs_tsts cpxs_tsts_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs |
rt-transition |
- parallel qrst-transition |
- fpb ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
-
+ | parallel rst-transition |
+ fpbq ( â¦?,?,?⦠â½[?] â¦?,?,?⦠) |
+ fpbq_aaa |
+
+
+
+
+ |
+
|
+ fpb ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
+ fpb_lfdeq |
@@ -420,7 +435,7 @@
|
t-bound context-sensitive rt-transition |
lfpr ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
+ lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
@@ -448,7 +463,7 @@
|
uncounted context-sensitive rt-transition |
cnx ( â¦?,?⦠⢠â¬[?,?] ðâ¦?⦠) |
- cnx_simple cnx_drops |
+ cnx_simple cnx_drops cnx_cnx |
@@ -480,8 +495,8 @@
|
iterated static typing |
- generic extension on referred entries |
- lfxss ( ? ⦻**[?,?] ? ) |
+ iterated extension on referred entries |
+ tc_lfxs ( ? ⦻**[?,?] ? ) |
|
@@ -548,7 +563,7 @@
lfdeq ( ? â¡[?,?,?] ? ) |
- lfdeq_length lfdeq_fqup lfdeq_lfdeq |
+ lfdeq_length lfdeq_drops lfdeq_fqup lfdeq_fqus lfdeq_lfdeq |
@@ -678,17 +693,17 @@
|
|
- degree-based equivalence for terms |
- deq ( ? â¡[?,?] ? ) |
- deq_deq |
+ same top term structure |
+ tsts ( ? ⩳[?,?] ? ) |
+ tsts_simple tsts_tdeq tsts_tsts tsts_simple_vector |
|
- same top term structure |
- tsts ( ? â ? ) |
- tsts_tsts tsts_vector |
+ degree-based equivalence for terms |
+ deq ( ? â¡[?,?] ? ) |
+ deq_deq |
@@ -875,6 +890,6 @@
- Last update: Wed, 08 Mar 2017 22:36:31 +0100
+ Last update: Thu, 16 Mar 2017 20:59:31 +0100
|