TSPC 51_a_history_of

51_a_history_of_qed
The current implementation of regular expressions in Bell Labs research software uses algorithms close to those in Ken's CTSS and Multics versions, particularly the latter, because they don't try to compile to machine code.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ current;{current}))
                  (N implementation;{implementation})
                  (PP (P-ROLE of;{of})
                      (NP;{CURRENT_REGEX} (ADJP (ADJ regular;{regular}))
                                          (NS expressions;{expression})))
                  (PP (P-ROLE in;{in})
                      (NP (NLYR (NPR Bell;{Bell})
                                (NPR Labs;{Labs}))
                          (N research;{research})
                          (N software;{software}))))
          (VBP;__ uses;{use})
          (NP-OB1 (NS algorithms;{algorithm})
                  (ADJP (ADJ close;{close})
                        (PP (P-ROLE to;{to})
                            (NP (D;_nphd_ those;{those})
                                (PP (P-ROLE in;{in})
                                    (NP (NP-GEN;{KEN} (NPR Ken;{Ken})
                                                      (GENM <apos>s))
                                        (NLYR (NLYR (NLYR (NPR CTSS;{CTSS}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NPR Multics;{Multics})))))
                                        (NS versions;{version})
                                        (PUNC ,)
                                        (PRN (NP (ADVP (ADV particularly;{particularly}))
                                                 (D the;{the})
                                                 (ADJP (ADJ latter;{latter}))))))))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP;{CURRENT_REGEX} (PRO they;{they}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;_Tt_ try;{try})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Ipr_ compile;{compile[to]})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP (N machine;{machine})
                                                   (N code;{code}))))))
          (PUNC .))
  (ID 51_a_history_of_qed))

arc(r_0051_0001__The_r_0051_0003__implementation,r_0051_0002__current,attrib).
arc(r_0051_0001__The_r_0051_0003__implementation,r_0051_0006__expressions,r_0051_0004__of).
arc(r_0051_0001__The_r_0051_0003__implementation,r_0051_0010__research_r_0051_0011__software,r_0051_0007__in).
arc(r_0051_0006__expressions,r_0051_0005__regular,attrib).
arc(r_0051_0010__research_r_0051_0011__software,r_0051_0008__Bell_r_0051_0009__Labs,nim).
arc(r_0051_0012__uses,r_0051_0001__The_r_0051_0003__implementation,arg0).
arc(r_0051_0012__uses,r_0051_0013__algorithms,arg1).
arc(r_0051_0013__algorithms,r_0051_0014__close,attrib).
arc(r_0051_0014__close,r_0051_0016__those,r_0051_0015__to).
arc(r_0051_0016__those,r_0051_0023__versions,r_0051_0017__in).
arc(r_0051_0021__and,r_0051_0020__CTSS,conj1).
arc(r_0051_0021__and,r_0051_0022__Multics,conj2).
arc(r_0051_0023__versions,r_0051_0018__Ken,gen).
arc(r_0051_0023__versions,r_0051_0021__and,nim).
arc(r_0051_0026__the,r_0051_0025__particularly,qual).
arc(r_0051_0026__the,r_0051_0027__latter,attrib).
arc(r_0051_0029__because,r_0051_0012__uses,scope).
arc(r_0051_0029__because,r_0051_0032__n_apos_t,restriction).
arc(r_0051_0031__do_r_0051_0033__try,r_0051_0035__compile_r_0051_0036__to,arg1).
arc(r_0051_0031__do_r_0051_0033__try,z_0051_5017,arg0).
arc(r_0051_0032__n_apos_t,r_0051_0031__do_r_0051_0033__try,keep_scope).
arc(r_0051_0035__compile_r_0051_0036__to,r_0051_0037__machine_r_0051_0038__code,arg1).
arc(r_0051_0035__compile_r_0051_0036__to,z_0051_5017,arg0).
arc(z_0051_5013,r_0051_0023__versions,arg0).
arc(z_0051_5013,r_0051_0026__the,prd).

fof(formula,axiom,
    ? [R_0051_0002__CURRENT,R_0051_0005__REGULAR,R_0051_0006__EXPRESSIONS,R_0051_0008__BELL_R_0051_0009__LABS,R_0051_0010__RESEARCH_R_0051_0011__SOFTWARE,R_0051_0001__THE_R_0051_0003__IMPLEMENTATION,R_0051_0018__KEN,R_0051_0020__CTSS,R_0051_0022__MULTICS,R_0051_0021__AND,R_0051_0023__VERSIONS,R_0051_0016__THOSE,R_0051_0014__CLOSE,R_0051_0013__ALGORITHMS,R_0051_0012__USES,R_0051_0029__BECAUSE,R_0051_0025__PARTICULARLY,R_0051_0027__LATTER,R_0051_0026__THE,Z_0051_5013] :
      ( r_0051_0002__current(R_0051_0002__CURRENT)
      & r_0051_0005__regular(R_0051_0005__REGULAR)
      & r_0051_0008__Bell_r_0051_0009__Labs(R_0051_0008__BELL_R_0051_0009__LABS)
      & r_0051_0018__Ken(R_0051_0018__KEN)
      & r_0051_0020__CTSS(R_0051_0020__CTSS)
      & r_0051_0022__Multics(R_0051_0022__MULTICS)
      & r_0051_0025__particularly(R_0051_0025__PARTICULARLY)
      & r_0051_0027__latter(R_0051_0027__LATTER)
      & z_0051_5013(Z_0051_5013)
      & has_prd(Z_0051_5013,R_0051_0026__THE)
      & r_0051_0026__the(R_0051_0026__THE)
      & has_attrib(R_0051_0026__THE,R_0051_0027__LATTER)
      & has_qual(R_0051_0026__THE,R_0051_0025__PARTICULARLY)
      & has_arg0(Z_0051_5013,R_0051_0023__VERSIONS)
      & r_0051_0023__versions(R_0051_0023__VERSIONS)
      & has_nim(R_0051_0023__VERSIONS,R_0051_0021__AND)
      & r_0051_0021__and(R_0051_0021__AND)
      & has_conj2(R_0051_0021__AND,R_0051_0022__MULTICS)
      & has_conj1(R_0051_0021__AND,R_0051_0020__CTSS)
      & has_gen(R_0051_0023__VERSIONS,R_0051_0018__KEN)
      & r_0051_0029__because(R_0051_0029__BECAUSE)
      & has_conj1(R_0051_0029__BECAUSE,R_0051_0032__N_APOS_T)
      & ~ ? [R_0051_0037__MACHINE_R_0051_0038__CODE,Z_0051_5017,R_0051_0035__COMPILE_R_0051_0036__TO,R_0051_0031__DO_R_0051_0033__TRY] :
            ( r_0051_0037__machine_r_0051_0038__code(R_0051_0037__MACHINE_R_0051_0038__CODE)
            & z_0051_5017(Z_0051_5017)
            & r_0051_0031__do_r_0051_0033__try(R_0051_0031__DO_R_0051_0033__TRY)
            & has_arg0(R_0051_0031__DO_R_0051_0033__TRY,Z_0051_5017)
            & has_arg1(R_0051_0031__DO_R_0051_0033__TRY,R_0051_0035__COMPILE_R_0051_0036__TO)
            & r_0051_0035__compile_r_0051_0036__to(R_0051_0035__COMPILE_R_0051_0036__TO)
            & has_arg0(R_0051_0035__COMPILE_R_0051_0036__TO,Z_0051_5017)
            & has_arg1(R_0051_0035__COMPILE_R_0051_0036__TO,R_0051_0037__MACHINE_R_0051_0038__CODE) )
      & has_conj2(R_0051_0029__BECAUSE,R_0051_0012__USES)
      & r_0051_0012__uses(R_0051_0012__USES)
      & has_arg1(R_0051_0012__USES,R_0051_0013__ALGORITHMS)
      & r_0051_0013__algorithms(R_0051_0013__ALGORITHMS)
      & has_attrib(R_0051_0013__ALGORITHMS,R_0051_0014__CLOSE)
      & r_0051_0014__close(R_0051_0014__CLOSE)
      & has_r_0051_0015__to(R_0051_0014__CLOSE,R_0051_0016__THOSE)
      & r_0051_0016__those(R_0051_0016__THOSE)
      & has_r_0051_0017__in(R_0051_0016__THOSE,R_0051_0023__VERSIONS)
      & has_arg0(R_0051_0012__USES,R_0051_0001__THE_R_0051_0003__IMPLEMENTATION)
      & r_0051_0001__The_r_0051_0003__implementation(R_0051_0001__THE_R_0051_0003__IMPLEMENTATION)
      & has_r_0051_0007__in(R_0051_0001__THE_R_0051_0003__IMPLEMENTATION,R_0051_0010__RESEARCH_R_0051_0011__SOFTWARE)
      & r_0051_0010__research_r_0051_0011__software(R_0051_0010__RESEARCH_R_0051_0011__SOFTWARE)
      & has_nim(R_0051_0010__RESEARCH_R_0051_0011__SOFTWARE,R_0051_0008__BELL_R_0051_0009__LABS)
      & has_r_0051_0004__of(R_0051_0001__THE_R_0051_0003__IMPLEMENTATION,R_0051_0006__EXPRESSIONS)
      & r_0051_0006__expressions(R_0051_0006__EXPRESSIONS)
      & has_attrib(R_0051_0006__EXPRESSIONS,R_0051_0005__REGULAR)
      & has_attrib(R_0051_0001__THE_R_0051_0003__IMPLEMENTATION,R_0051_0002__CURRENT) ) ).