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_0021_0007__QED ctss_qed 0021_0004__Ken ken 0021_0006__CTSS_0021_0007__QED->0021_0004__Ken [genv] 0021_0009__was was 0021_0009__was->0021_0006__CTSS_0021_0007__QED like[mnr] 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_0021_0013__language assembly_language 0021_0010__written->0021_0012__assembly_0021_0013__language in[mnr] 0021_0015__compiled->0021_0001__This [arg0] 0021_0018__expressions expressions 0021_0015__compiled->0021_0018__expressions [arg1] 0021_0020__machine_0021_0021__code machine_code 0021_0015__compiled->0021_0020__machine_0021_0021__code to[dir] 0021_0018__expressions->0021_0001__This [genv] 0021_0017__regular regular 0021_0018__expressions->0021_0017__regular [attrib] 
arc(r_0021_0006__CTSS_r_0021_0007__QED,r_0021_0004__Ken,genv).
arc(r_0021_0009__was,r_0021_0006__CTSS_r_0021_0007__QED,r_0021_0003__like__mnr).
arc(r_0021_0009__was,r_0021_0014__and,keep_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__mnr).
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__dir).
arc(r_0021_0018__expressions,r_0021_0001__This,genv).
arc(r_0021_0018__expressions,r_0021_0017__regular,attrib).

IP-MAT NP-SBJ D;_nphd_ This PUNC , PP-MNR P-ROLE like NP NP-GENV NPR Ken GENM 's NPR CTSS NPR QED PUNC , BED;~cat_Ve_passive_ was IP-PPL-CAT ILYR ILYR VVN written PP-MNR P-ROLE in NP N assembly N language CONJP CONJ and ILYR VVN compiled NP-OB1 NP-GENV PRO;_genm_ its ADJP ADJ regular NS expressions PP-DIR P-ROLE to NP N machine N code PUNC . 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D;_nphd_ This;{this}))
          (PUNC ,)
          (PP-MNR (P-ROLE like;{like})
                  (NP;{CTSS_QED} (NP-GENV;{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-MNR (P-ROLE in;{in})
                                          (NP (N assembly;{assembly})
                                              (N language;{language}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VVN compiled;{compile})
                                         (NP-OB1 (NP-GENV;{GECOS_QED} (PRO;_genm_ its;{its}))
                                                 (ADJP (ADJ regular;{regular}))
                                                 (NS expressions;{expression}))
                                         (PP-DIR (P-ROLE to;{to})
                                                 (NP (N machine;{machine})
                                                     (N code;{code})))))))
          (PUNC .))
  (ID 21_a_history_of_qed))