Context                Previous, Next                Top


21_a_history_of_qed
This, like Ken's CTSS QED, was written in assembly language and compiled its regular expressions to machine code.

%3 0021_0006__CTSS_7__QED CTSS_QED 0021_0004__Ken Ken 0021_0006__CTSS_7__QED->0021_0004__Ken [gen] 0021_0009__was was 0021_0009__was->0021_0006__CTSS_7__QED like[nim] 0021_0014__and and 0021_0009__was->0021_0014__and [scope] 0021_0010__written written 0021_0014__and->0021_0010__written [conj1] 0021_0015__compiled compiled 0021_0014__and->0021_0015__compiled [conj2] 0021_0001__This This 0021_0010__written->0021_0001__This [arg0] 0021_0012__assembly_13__language assembly_language 0021_0010__written->0021_0012__assembly_13__language in[nim] 0021_0015__compiled->0021_0001__This [arg0] 0021_0018__expressions expressions 0021_0015__compiled->0021_0018__expressions [arg1] 0021_0020__machine_21__code machine_code 0021_0015__compiled->0021_0020__machine_21__code to[nim] 0021_0018__expressions->0021_0001__This [gen] 0021_0017__regular regular 0021_0018__expressions->0021_0017__regular [attrib] 
arc(r_0021_0006__CTSS_r_0021_0007__QED,r_0021_0004__Ken,gen).
arc(r_0021_0009__was,r_0021_0006__CTSS_r_0021_0007__QED,r_0021_0003__like__nim).
arc(r_0021_0009__was,r_0021_0014__and,scope).
arc(r_0021_0010__written,r_0021_0001__This,arg0).
arc(r_0021_0010__written,r_0021_0012__assembly_r_0021_0013__language,r_0021_0011__in__nim).
arc(r_0021_0014__and,r_0021_0010__written,conj1).
arc(r_0021_0014__and,r_0021_0015__compiled,conj2).
arc(r_0021_0015__compiled,r_0021_0001__This,arg0).
arc(r_0021_0015__compiled,r_0021_0018__expressions,arg1).
arc(r_0021_0015__compiled,r_0021_0020__machine_r_0021_0021__code,r_0021_0019__to__nim).
arc(r_0021_0018__expressions,r_0021_0001__This,gen).
arc(r_0021_0018__expressions,r_0021_0017__regular,attrib).

n21_a_history_of_qed n21_a_history_of_qed__1_1_1_1 This n21_a_history_of_qed__1_2_1 , n21_a_history_of_qed__1_3_1_1 like n21_a_history_of_qed__1_3_2_1_1_1 Ken n21_a_history_of_qed__1_3_2_1_2_1 's n21_a_history_of_qed__1_3_2_2_1 CTSS n21_a_history_of_qed__1_3_2_3_1 QED n21_a_history_of_qed__1_4_1 , n21_a_history_of_qed__1_5_1 was n21_a_history_of_qed__1_6_1_1_1_1 written n21_a_history_of_qed__1_6_1_1_2_1_1 in n21_a_history_of_qed__1_6_1_1_2_2_1_1 assembly n21_a_history_of_qed__1_6_1_1_2_2_2_1 language n21_a_history_of_qed__1_6_1_2_1_1 and n21_a_history_of_qed__1_6_1_2_2_1_1 compiled n21_a_history_of_qed__1_6_1_2_2_2_1_1_1 its n21_a_history_of_qed__1_6_1_2_2_2_2_1_1 regular n21_a_history_of_qed__1_6_1_2_2_2_3_1 expressions n21_a_history_of_qed__1_6_1_2_2_3_1_1 to n21_a_history_of_qed__1_6_1_2_2_3_2_1_1 machine n21_a_history_of_qed__1_6_1_2_2_3_2_2_1 code n21_a_history_of_qed__1_7_1 . n21_a_history_of_qed__1 IP-MAT n21_a_history_of_qed__1_1 NP-SBJ n21_a_history_of_qed__1->n21_a_history_of_qed__1_1 n21_a_history_of_qed__1_2 PUNC n21_a_history_of_qed__1->n21_a_history_of_qed__1_2 n21_a_history_of_qed__1_3 PP-NIM n21_a_history_of_qed__1->n21_a_history_of_qed__1_3 n21_a_history_of_qed__1_4 PUNC n21_a_history_of_qed__1->n21_a_history_of_qed__1_4 n21_a_history_of_qed__1_5 BED;~cat_Ve_passive_ n21_a_history_of_qed__1->n21_a_history_of_qed__1_5 n21_a_history_of_qed__1_6 IP-PPL-CAT n21_a_history_of_qed__1->n21_a_history_of_qed__1_6 n21_a_history_of_qed__1_7 PUNC n21_a_history_of_qed__1->n21_a_history_of_qed__1_7 n21_a_history_of_qed__1_1_1 D;_nphd_ n21_a_history_of_qed__1_1->n21_a_history_of_qed__1_1_1 n21_a_history_of_qed__1_1_1->n21_a_history_of_qed__1_1_1_1 n21_a_history_of_qed__1_2->n21_a_history_of_qed__1_2_1 n21_a_history_of_qed__1_3_1 P-ROLE n21_a_history_of_qed__1_3->n21_a_history_of_qed__1_3_1 n21_a_history_of_qed__1_3_2 NP n21_a_history_of_qed__1_3->n21_a_history_of_qed__1_3_2 n21_a_history_of_qed__1_3_1->n21_a_history_of_qed__1_3_1_1 n21_a_history_of_qed__1_3_2_1 NP-GEN n21_a_history_of_qed__1_3_2->n21_a_history_of_qed__1_3_2_1 n21_a_history_of_qed__1_3_2_2 NPR n21_a_history_of_qed__1_3_2->n21_a_history_of_qed__1_3_2_2 n21_a_history_of_qed__1_3_2_3 NPR n21_a_history_of_qed__1_3_2->n21_a_history_of_qed__1_3_2_3 n21_a_history_of_qed__1_3_2_1_1 NPR n21_a_history_of_qed__1_3_2_1->n21_a_history_of_qed__1_3_2_1_1 n21_a_history_of_qed__1_3_2_1_2 GENM n21_a_history_of_qed__1_3_2_1->n21_a_history_of_qed__1_3_2_1_2 n21_a_history_of_qed__1_3_2_1_1->n21_a_history_of_qed__1_3_2_1_1_1 n21_a_history_of_qed__1_3_2_1_2->n21_a_history_of_qed__1_3_2_1_2_1 n21_a_history_of_qed__1_3_2_2->n21_a_history_of_qed__1_3_2_2_1 n21_a_history_of_qed__1_3_2_3->n21_a_history_of_qed__1_3_2_3_1 n21_a_history_of_qed__1_4->n21_a_history_of_qed__1_4_1 n21_a_history_of_qed__1_5->n21_a_history_of_qed__1_5_1 n21_a_history_of_qed__1_6_1 ILYR n21_a_history_of_qed__1_6->n21_a_history_of_qed__1_6_1 n21_a_history_of_qed__1_6_1_1 ILYR n21_a_history_of_qed__1_6_1->n21_a_history_of_qed__1_6_1_1 n21_a_history_of_qed__1_6_1_2 CONJP n21_a_history_of_qed__1_6_1->n21_a_history_of_qed__1_6_1_2 n21_a_history_of_qed__1_6_1_1_1 VVN;~ n21_a_history_of_qed__1_6_1_1->n21_a_history_of_qed__1_6_1_1_1 n21_a_history_of_qed__1_6_1_1_2 PP-NIM n21_a_history_of_qed__1_6_1_1->n21_a_history_of_qed__1_6_1_1_2 n21_a_history_of_qed__1_6_1_1_1->n21_a_history_of_qed__1_6_1_1_1_1 n21_a_history_of_qed__1_6_1_1_2_1 P-ROLE n21_a_history_of_qed__1_6_1_1_2->n21_a_history_of_qed__1_6_1_1_2_1 n21_a_history_of_qed__1_6_1_1_2_2 NP n21_a_history_of_qed__1_6_1_1_2->n21_a_history_of_qed__1_6_1_1_2_2 n21_a_history_of_qed__1_6_1_1_2_1->n21_a_history_of_qed__1_6_1_1_2_1_1 n21_a_history_of_qed__1_6_1_1_2_2_1 N n21_a_history_of_qed__1_6_1_1_2_2->n21_a_history_of_qed__1_6_1_1_2_2_1 n21_a_history_of_qed__1_6_1_1_2_2_2 N n21_a_history_of_qed__1_6_1_1_2_2->n21_a_history_of_qed__1_6_1_1_2_2_2 n21_a_history_of_qed__1_6_1_1_2_2_1->n21_a_history_of_qed__1_6_1_1_2_2_1_1 n21_a_history_of_qed__1_6_1_1_2_2_2->n21_a_history_of_qed__1_6_1_1_2_2_2_1 n21_a_history_of_qed__1_6_1_2_1 CONJ n21_a_history_of_qed__1_6_1_2->n21_a_history_of_qed__1_6_1_2_1 n21_a_history_of_qed__1_6_1_2_2 ILYR n21_a_history_of_qed__1_6_1_2->n21_a_history_of_qed__1_6_1_2_2 n21_a_history_of_qed__1_6_1_2_1->n21_a_history_of_qed__1_6_1_2_1_1 n21_a_history_of_qed__1_6_1_2_2_1 VVN;~ n21_a_history_of_qed__1_6_1_2_2->n21_a_history_of_qed__1_6_1_2_2_1 n21_a_history_of_qed__1_6_1_2_2_2 NP-OB1 n21_a_history_of_qed__1_6_1_2_2->n21_a_history_of_qed__1_6_1_2_2_2 n21_a_history_of_qed__1_6_1_2_2_3 PP-NIM n21_a_history_of_qed__1_6_1_2_2->n21_a_history_of_qed__1_6_1_2_2_3 n21_a_history_of_qed__1_6_1_2_2_1->n21_a_history_of_qed__1_6_1_2_2_1_1 n21_a_history_of_qed__1_6_1_2_2_2_1 NP-GEN n21_a_history_of_qed__1_6_1_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_1 n21_a_history_of_qed__1_6_1_2_2_2_2 ADJP n21_a_history_of_qed__1_6_1_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_2 n21_a_history_of_qed__1_6_1_2_2_2_3 NS n21_a_history_of_qed__1_6_1_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_3 n21_a_history_of_qed__1_6_1_2_2_2_1_1 PRO;_genm_ n21_a_history_of_qed__1_6_1_2_2_2_1->n21_a_history_of_qed__1_6_1_2_2_2_1_1 n21_a_history_of_qed__1_6_1_2_2_2_1_1->n21_a_history_of_qed__1_6_1_2_2_2_1_1_1 n21_a_history_of_qed__1_6_1_2_2_2_2_1 ADJ n21_a_history_of_qed__1_6_1_2_2_2_2->n21_a_history_of_qed__1_6_1_2_2_2_2_1 n21_a_history_of_qed__1_6_1_2_2_2_2_1->n21_a_history_of_qed__1_6_1_2_2_2_2_1_1 n21_a_history_of_qed__1_6_1_2_2_2_3->n21_a_history_of_qed__1_6_1_2_2_2_3_1 n21_a_history_of_qed__1_6_1_2_2_3_1 P-ROLE n21_a_history_of_qed__1_6_1_2_2_3->n21_a_history_of_qed__1_6_1_2_2_3_1 n21_a_history_of_qed__1_6_1_2_2_3_2 NP n21_a_history_of_qed__1_6_1_2_2_3->n21_a_history_of_qed__1_6_1_2_2_3_2 n21_a_history_of_qed__1_6_1_2_2_3_1->n21_a_history_of_qed__1_6_1_2_2_3_1_1 n21_a_history_of_qed__1_6_1_2_2_3_2_1 N n21_a_history_of_qed__1_6_1_2_2_3_2->n21_a_history_of_qed__1_6_1_2_2_3_2_1 n21_a_history_of_qed__1_6_1_2_2_3_2_2 N n21_a_history_of_qed__1_6_1_2_2_3_2->n21_a_history_of_qed__1_6_1_2_2_3_2_2 n21_a_history_of_qed__1_6_1_2_2_3_2_1->n21_a_history_of_qed__1_6_1_2_2_3_2_1_1 n21_a_history_of_qed__1_6_1_2_2_3_2_2->n21_a_history_of_qed__1_6_1_2_2_3_2_2_1 n21_a_history_of_qed__1_7->n21_a_history_of_qed__1_7_1 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D;_nphd_ This;{this}))
          (PUNC ,)
          (PP-NIM (P-ROLE like;{like})
                  (NP;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
                                               (GENM <apos>s))
                                 (NPR CTSS;{CTSS})
                                 (NPR QED;{QED})))
          (PUNC ,)
          (BED;~cat_Ve_passive_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (VVN;~ written;{write})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (N assembly;{assembly})
                                              (N language;{language}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VVN;~ compiled;{compile})
                                         (NP-OB1 (NP-GEN;{GECOS_QED} (PRO;_genm_ its;{its}))
                                                 (ADJP (ADJ regular;{regular}))
                                                 (NS expressions;{expression}))
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (N machine;{machine})
                                                     (N code;{code})))))))
          (PUNC .))
  (ID 21_a_history_of_qed))