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.

arc(r_0051_0001__The_r_0051_0003__implementation, r_0051_0002__current, attrib5).
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_0008__Bell_r_0051_0009__Labs_r_0051_0010__research_r_0051_0011__software, r_0051_0007__in).
arc(r_0051_0006__expressions, r_0051_0005__regular, attrib14).
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_0014__close, r_0051_0016__those, r_0051_0015__to).
arc(r_0051_0016__those, r_0051_0021__and, r_0051_0017__in).
arc(r_0051_0021__and, r_0051_0018__Ken_r_0051_0019___apos_s, gen).
arc(r_0051_0021__and, r_0051_0020__CTSS, conj1).
arc(r_0051_0021__and, r_0051_0022__Multics_r_0051_0023__versions, conj2).
arc(r_0051_0026__the, r_0051_0027__latter, attrib76).
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_0034__to_r_0051_0035__compile, scope).
arc(r_0051_0032__n_apos_t, r_0051_0031__do_r_0051_0033__try, keep_scope).
arc(r_0051_0034__to_r_0051_0035__compile, r_0051_0006__expressions, arg0).
arc(r_0051_0034__to_r_0051_0035__compile, r_0051_0037__machine_r_0051_0038__code, r_0051_0036__to_clr102).
arc(z_000_51_a_history_of_qed_36, r_0051_0013__algorithms, arg0).
arc(z_000_51_a_history_of_qed_36, r_0051_0014__close, prd).
arc(z_000_51_a_history_of_qed_69, r_0051_0016__those, arg0).
arc(z_000_51_a_history_of_qed_69, r_0051_0025__particularly, nim70).
arc(z_000_51_a_history_of_qed_69, 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_0013__ALGORITHMS,R_0051_0012__USES,R_0051_0029__BECAUSE,R_0051_0018__KEN_R_0051_0019___APOS_S,R_0051_0020__CTSS,R_0051_0022__MULTICS_R_0051_0023__VERSIONS,R_0051_0021__AND,R_0051_0016__THOSE,R_0051_0014__CLOSE,Z_000_51_A_HISTORY_OF_QED_36,R_0051_0025__PARTICULARLY,R_0051_0027__LATTER,R_0051_0026__THE,Z_000_51_A_HISTORY_OF_QED_69] :
      ( 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_0010__research_r_0051_0011__software(R_0051_0008__BELL_R_0051_0009__LABS_R_0051_0010__RESEARCH_R_0051_0011__SOFTWARE)
      & r_0051_0013__algorithms(R_0051_0013__ALGORITHMS)
      & r_0051_0018__Ken_r_0051_0019___apos_s(R_0051_0018__KEN_R_0051_0019___APOS_S)
      & r_0051_0020__CTSS(R_0051_0020__CTSS)
      & r_0051_0022__Multics_r_0051_0023__versions(R_0051_0022__MULTICS_R_0051_0023__VERSIONS)
      & r_0051_0025__particularly(R_0051_0025__PARTICULARLY)
      & r_0051_0027__latter(R_0051_0027__LATTER)
      & z_000_51_a_history_of_qed_69(Z_000_51_A_HISTORY_OF_QED_69)
      & has_prd(Z_000_51_A_HISTORY_OF_QED_69,R_0051_0026__THE)
      & r_0051_0026__the(R_0051_0026__THE)
      & has_attrib76(R_0051_0026__THE,R_0051_0027__LATTER)
      & has_nim70(Z_000_51_A_HISTORY_OF_QED_69,R_0051_0025__PARTICULARLY)
      & has_arg0(Z_000_51_A_HISTORY_OF_QED_69,R_0051_0016__THOSE)
      & r_0051_0016__those(R_0051_0016__THOSE)
      & has_r_0051_0017__in(R_0051_0016__THOSE,R_0051_0021__AND)
      & r_0051_0021__and(R_0051_0021__AND)
      & has_conj2(R_0051_0021__AND,R_0051_0022__MULTICS_R_0051_0023__VERSIONS)
      & has_conj1(R_0051_0021__AND,R_0051_0020__CTSS)
      & has_gen(R_0051_0021__AND,R_0051_0018__KEN_R_0051_0019___APOS_S)
      & z_000_51_a_history_of_qed_36(Z_000_51_A_HISTORY_OF_QED_36)
      & has_prd(Z_000_51_A_HISTORY_OF_QED_36,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)
      & has_arg0(Z_000_51_A_HISTORY_OF_QED_36,R_0051_0013__ALGORITHMS)
      & 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,R_0051_0031__DO_R_0051_0033__TRY_R_0051_0034__TO_R_0051_0035__COMPILE] :
            ( r_0051_0037__machine_r_0051_0038__code(R_0051_0037__MACHINE_R_0051_0038__CODE)
            & r_0051_0031__do_r_0051_0033__try_r_0051_0034__to_r_0051_0035__compile(R_0051_0031__DO_R_0051_0033__TRY_R_0051_0034__TO_R_0051_0035__COMPILE)
            & has_r_0051_0036__to_clr102(R_0051_0031__DO_R_0051_0033__TRY_R_0051_0034__TO_R_0051_0035__COMPILE,R_0051_0037__MACHINE_R_0051_0038__CODE)
            & has_arg0(R_0051_0031__DO_R_0051_0033__TRY_R_0051_0034__TO_R_0051_0035__COMPILE,R_0051_0006__EXPRESSIONS) )
      & 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)
      & 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_0008__BELL_R_0051_0009__LABS_R_0051_0010__RESEARCH_R_0051_0011__SOFTWARE)
      & 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_attrib14(R_0051_0006__EXPRESSIONS,R_0051_0005__REGULAR)
      & has_attrib5(R_0051_0001__THE_R_0051_0003__IMPLEMENTATION,R_0051_0002__CURRENT) ) ).

( (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 (NPR Bell;{Bell})
                          (NPR Labs;{Labs})
                          (N research;{research})
                          (N software;{software}))))
          (VBP;_Tn_ uses;{use})
          (NP-OB1 (NS algorithms;{algorithm})
                  (IP-PPL (ADJP-PRD (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 (NPR CTSS;{CTSS}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (NPR Multics;{Multics})
                                                                       (NS versions;{version}))))))
                                            (PUNC ,)
                                            (IP-PPL (ADVP-NIM (ADV particularly;{particularly}))
                                                    (NP-PRD (D the;{the})
                                                            (ADJP (ADJ latter;{latter})))))))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{CURRENT_REGEX} (PRO they;{they}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;_cat_Vt_ try;{try})
                           (IP-INF-CAT (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))