Context                Previous, Next                Top


53_a_history_of_qed
We've done some fairly elaborate versions of grep that construct DFAs dynamically on demand, use Boyer - Moore techniques for fast searching of fixed strings, and so on.

%3 r_0053_0002___apos_ve 've r_0053_0003__done done r_0053_0002___apos_ve->r_0053_0003__done [scope] r_0053_0001__We We r_0053_0003__done->r_0053_0001__We [arg0] r_0053_0004__some_r_0053_0007__versions some versions r_0053_0003__done->r_0053_0004__some_r_0053_0007__versions [arg1] r_0053_0006__elaborate elaborate r_0053_0004__some_r_0053_0007__versions->r_0053_0006__elaborate [attrib] r_0053_0009__grep grep r_0053_0004__some_r_0053_0007__versions->r_0053_0009__grep of r_0053_0005__fairly fairly r_0053_0006__elaborate->r_0053_0005__fairly [qual] r_0053_0011__construct construct r_0053_0011__construct->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0012__DFAs DFAs r_0053_0011__construct->r_0053_0012__DFAs [arg1] r_0053_0013__dynamically dynamically r_0053_0011__construct->r_0053_0013__dynamically [nim] r_0053_0015__demand demand r_0053_0011__construct->r_0053_0015__demand on [nim] r_0053_0017__use use r_0053_0017__use->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques Boyer Moore techniques r_0053_0017__use->r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques [arg1] r_0053_0024__searching searching r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques->r_0053_0024__searching for r_0053_0023__fast fast r_0053_0024__searching->r_0053_0023__fast [attrib] r_0053_0027__strings strings r_0053_0024__searching->r_0053_0027__strings of r_0053_0026__fixed fixed r_0053_0027__strings->r_0053_0026__fixed [attrib] r_0053_0029__and and r_0053_0029__and->r_0053_0011__construct [conj1] r_0053_0029__and->r_0053_0017__use [conj2] z_000_53_a_history_of_qed_86 r_0053_0029__and->z_000_53_a_history_of_qed_86 [conj3] z_000_53_a_history_of_qed_86->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0030__so_on so on z_000_53_a_history_of_qed_86->r_0053_0030__so_on [nim] 
arc(r_0053_0002___apos_ve, r_0053_0003__done, scope).
arc(r_0053_0003__done, r_0053_0001__We, arg0).
arc(r_0053_0003__done, r_0053_0004__some_r_0053_0007__versions, arg1).
arc(r_0053_0004__some_r_0053_0007__versions, r_0053_0006__elaborate, attrib13).
arc(r_0053_0004__some_r_0053_0007__versions, r_0053_0009__grep, r_0053_0008__of).
arc(r_0053_0006__elaborate, r_0053_0005__fairly, qual14).
arc(r_0053_0011__construct, r_0053_0004__some_r_0053_0007__versions, arg0).
arc(r_0053_0011__construct, r_0053_0012__DFAs, arg1).
arc(r_0053_0011__construct, r_0053_0013__dynamically, nim39).
arc(r_0053_0011__construct, r_0053_0015__demand, r_0053_0014__on_nim45).
arc(r_0053_0017__use, r_0053_0004__some_r_0053_0007__versions, arg0).
arc(r_0053_0017__use, r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques, arg1).
arc(r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques, r_0053_0024__searching, r_0053_0022__for).
arc(r_0053_0024__searching, r_0053_0023__fast, attrib67).
arc(r_0053_0024__searching, r_0053_0027__strings, r_0053_0025__of).
arc(r_0053_0027__strings, r_0053_0026__fixed, attrib76).
arc(r_0053_0029__and, r_0053_0011__construct, conj1).
arc(r_0053_0029__and, r_0053_0017__use, conj2).
arc(r_0053_0029__and, z_000_53_a_history_of_qed_86, conj3).
arc(z_000_53_a_history_of_qed_86, r_0053_0004__some_r_0053_0007__versions, arg0).
arc(z_000_53_a_history_of_qed_86, r_0053_0030__so_on, nim87).


%3 r_0053_0002___apos_ve_r_0053_0003__done 've done r_0053_0001__We We r_0053_0002___apos_ve_r_0053_0003__done->r_0053_0001__We [arg0] r_0053_0004__some_r_0053_0007__versions some versions r_0053_0002___apos_ve_r_0053_0003__done->r_0053_0004__some_r_0053_0007__versions [arg1] r_0053_0006__elaborate elaborate r_0053_0004__some_r_0053_0007__versions->r_0053_0006__elaborate [attrib] r_0053_0009__grep grep r_0053_0004__some_r_0053_0007__versions->r_0053_0009__grep of r_0053_0005__fairly fairly r_0053_0006__elaborate->r_0053_0005__fairly [qual] r_0053_0011__construct construct r_0053_0011__construct->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0012__DFAs DFAs r_0053_0011__construct->r_0053_0012__DFAs [arg1] r_0053_0013__dynamically dynamically r_0053_0011__construct->r_0053_0013__dynamically [nim] r_0053_0015__demand demand r_0053_0011__construct->r_0053_0015__demand on [nim] r_0053_0017__use use r_0053_0017__use->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques Boyer Moore techniques r_0053_0017__use->r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques [arg1] r_0053_0024__searching searching r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques->r_0053_0024__searching for r_0053_0023__fast fast r_0053_0024__searching->r_0053_0023__fast [attrib] r_0053_0027__strings strings r_0053_0024__searching->r_0053_0027__strings of r_0053_0026__fixed fixed r_0053_0027__strings->r_0053_0026__fixed [attrib] r_0053_0029__and and r_0053_0029__and->r_0053_0011__construct [conj1] r_0053_0029__and->r_0053_0017__use [conj2] z_000_53_a_history_of_qed_86 r_0053_0029__and->z_000_53_a_history_of_qed_86 [conj3] z_000_53_a_history_of_qed_86->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0030__so_on so on z_000_53_a_history_of_qed_86->r_0053_0030__so_on [nim] 
fof(formula,axiom,
    ? [R_53_2__APOS_VE_DONE,R_53_1_WE,R_53_29_AND,R_53_11_CONSTRUCT,R_53_12_DFAS,R_53_13_DYNAMICALLY,R_53_15_DEMAND,R_53_17_USE,R_53_18_BOYER_MOORE_TECHNIQUES,R_53_24_SEARCHING,R_53_23_FAST,R_53_27_STRINGS,R_53_26_FIXED,Z_53_A_HISTORY_OF_QED_86,R_53_4_SOME_VERSIONS,R_53_6_ELABORATE,R_53_5_FAIRLY,R_53_9_GREP,R_53_30_SO_ON] :
      ( we(R_53_1_WE)
      & dFAs(R_53_12_DFAS)
      & dynamically(R_53_13_DYNAMICALLY)
      & demand(R_53_15_DEMAND)
      & fast(R_53_23_FAST)
      & fixed(R_53_26_FIXED)
      & fairly(R_53_5_FAIRLY)
      & grep(R_53_9_GREP)
      & so_on(R_53_30_SO_ON)
      & _apos_ve_done(R_53_2__APOS_VE_DONE,R_53_1_WE,R_53_4_SOME_VERSIONS)
      & some_versions(R_53_4_SOME_VERSIONS)
      & attrib13(R_53_4_SOME_VERSIONS,R_53_6_ELABORATE)
      & elaborate(R_53_6_ELABORATE)
      & qual14(R_53_6_ELABORATE,R_53_5_FAIRLY)
      & of(R_53_4_SOME_VERSIONS,R_53_9_GREP)
      & and(R_53_29_AND)
      & conj1(R_53_29_AND,R_53_11_CONSTRUCT)
      & construct(R_53_11_CONSTRUCT,R_53_4_SOME_VERSIONS,R_53_12_DFAS)
      & nim39(R_53_11_CONSTRUCT,R_53_13_DYNAMICALLY)
      & on_nim45(R_53_11_CONSTRUCT,R_53_15_DEMAND)
      & conj2(R_53_29_AND,R_53_17_USE)
      & use(R_53_17_USE,R_53_4_SOME_VERSIONS,R_53_18_BOYER_MOORE_TECHNIQUES)
      & boyer_Moore_techniques(R_53_18_BOYER_MOORE_TECHNIQUES)
      & for(R_53_18_BOYER_MOORE_TECHNIQUES,R_53_24_SEARCHING)
      & searching(R_53_24_SEARCHING)
      & attrib67(R_53_24_SEARCHING,R_53_23_FAST)
      & of(R_53_24_SEARCHING,R_53_27_STRINGS)
      & strings(R_53_27_STRINGS)
      & attrib76(R_53_27_STRINGS,R_53_26_FIXED)
      & conj3(R_53_29_AND,Z_53_A_HISTORY_OF_QED_86)
      & z_53_a_history_of_qed_86(Z_53_A_HISTORY_OF_QED_86,R_53_4_SOME_VERSIONS)
      & nim87(Z_53_A_HISTORY_OF_QED_86,R_53_30_SO_ON) ) ).


n53_a_history_of_qed n53_a_history_of_qed_4 We n53_a_history_of_qed_6 've n53_a_history_of_qed_9 done n53_a_history_of_qed_12 some n53_a_history_of_qed_16 fairly n53_a_history_of_qed_18 elaborate n53_a_history_of_qed_20 versions n53_a_history_of_qed_23 of n53_a_history_of_qed_26 grep n53_a_history_of_qed_29 that n53_a_history_of_qed_31 *T* n53_a_history_of_qed_35 construct n53_a_history_of_qed_38 DFAs n53_a_history_of_qed_41 dynamically n53_a_history_of_qed_44 on n53_a_history_of_qed_47 demand n53_a_history_of_qed_49 , n53_a_history_of_qed_53 use n53_a_history_of_qed_56 Boyer n53_a_history_of_qed_58 - n53_a_history_of_qed_60 Moore n53_a_history_of_qed_62 techniques n53_a_history_of_qed_65 for n53_a_history_of_qed_69 fast n53_a_history_of_qed_71 searching n53_a_history_of_qed_74 of n53_a_history_of_qed_78 fixed n53_a_history_of_qed_80 strings n53_a_history_of_qed_82 , n53_a_history_of_qed_85 and n53_a_history_of_qed_89 so_on n53_a_history_of_qed_91 . n53_a_history_of_qed_1 IP-MAT n53_a_history_of_qed_2 NP-SBJ n53_a_history_of_qed_1->n53_a_history_of_qed_2 n53_a_history_of_qed_5 HVP;_cat_Ve_ n53_a_history_of_qed_1->n53_a_history_of_qed_5 n53_a_history_of_qed_7 IP-PPL-CAT n53_a_history_of_qed_1->n53_a_history_of_qed_7 n53_a_history_of_qed_90 PUNC n53_a_history_of_qed_1->n53_a_history_of_qed_90 n53_a_history_of_qed_3 PRO n53_a_history_of_qed_2->n53_a_history_of_qed_3 n53_a_history_of_qed_3->n53_a_history_of_qed_4 n53_a_history_of_qed_5->n53_a_history_of_qed_6 n53_a_history_of_qed_8 DON;_Tn_ n53_a_history_of_qed_7->n53_a_history_of_qed_8 n53_a_history_of_qed_10 NP-OB1 n53_a_history_of_qed_7->n53_a_history_of_qed_10 n53_a_history_of_qed_8->n53_a_history_of_qed_9 n53_a_history_of_qed_11 D n53_a_history_of_qed_10->n53_a_history_of_qed_11 n53_a_history_of_qed_13 ADJP n53_a_history_of_qed_10->n53_a_history_of_qed_13 n53_a_history_of_qed_19 NS n53_a_history_of_qed_10->n53_a_history_of_qed_19 n53_a_history_of_qed_21 PP n53_a_history_of_qed_10->n53_a_history_of_qed_21 n53_a_history_of_qed_27 IP-REL n53_a_history_of_qed_10->n53_a_history_of_qed_27 n53_a_history_of_qed_11->n53_a_history_of_qed_12 n53_a_history_of_qed_14 ADVP n53_a_history_of_qed_13->n53_a_history_of_qed_14 n53_a_history_of_qed_17 ADJ n53_a_history_of_qed_13->n53_a_history_of_qed_17 n53_a_history_of_qed_15 ADV n53_a_history_of_qed_14->n53_a_history_of_qed_15 n53_a_history_of_qed_15->n53_a_history_of_qed_16 n53_a_history_of_qed_17->n53_a_history_of_qed_18 n53_a_history_of_qed_19->n53_a_history_of_qed_20 n53_a_history_of_qed_22 P-ROLE n53_a_history_of_qed_21->n53_a_history_of_qed_22 n53_a_history_of_qed_24 NP n53_a_history_of_qed_21->n53_a_history_of_qed_24 n53_a_history_of_qed_22->n53_a_history_of_qed_23 n53_a_history_of_qed_25 NPR n53_a_history_of_qed_24->n53_a_history_of_qed_25 n53_a_history_of_qed_25->n53_a_history_of_qed_26 n53_a_history_of_qed_28 C n53_a_history_of_qed_27->n53_a_history_of_qed_28 n53_a_history_of_qed_30 NP-SBJ n53_a_history_of_qed_27->n53_a_history_of_qed_30 n53_a_history_of_qed_32 ILYR n53_a_history_of_qed_27->n53_a_history_of_qed_32 n53_a_history_of_qed_28->n53_a_history_of_qed_29 n53_a_history_of_qed_30->n53_a_history_of_qed_31 n53_a_history_of_qed_33 ILYR n53_a_history_of_qed_32->n53_a_history_of_qed_33 n53_a_history_of_qed_48 PUNC n53_a_history_of_qed_32->n53_a_history_of_qed_48 n53_a_history_of_qed_50 CONJP n53_a_history_of_qed_32->n53_a_history_of_qed_50 n53_a_history_of_qed_81 PUNC n53_a_history_of_qed_32->n53_a_history_of_qed_81 n53_a_history_of_qed_83 CONJP n53_a_history_of_qed_32->n53_a_history_of_qed_83 n53_a_history_of_qed_34 VBP;__ n53_a_history_of_qed_33->n53_a_history_of_qed_34 n53_a_history_of_qed_36 NP-OB1 n53_a_history_of_qed_33->n53_a_history_of_qed_36 n53_a_history_of_qed_39 ADVP-NIM n53_a_history_of_qed_33->n53_a_history_of_qed_39 n53_a_history_of_qed_42 PP-NIM n53_a_history_of_qed_33->n53_a_history_of_qed_42 n53_a_history_of_qed_34->n53_a_history_of_qed_35 n53_a_history_of_qed_37 NS n53_a_history_of_qed_36->n53_a_history_of_qed_37 n53_a_history_of_qed_37->n53_a_history_of_qed_38 n53_a_history_of_qed_40 ADV n53_a_history_of_qed_39->n53_a_history_of_qed_40 n53_a_history_of_qed_40->n53_a_history_of_qed_41 n53_a_history_of_qed_43 P-ROLE n53_a_history_of_qed_42->n53_a_history_of_qed_43 n53_a_history_of_qed_45 NP n53_a_history_of_qed_42->n53_a_history_of_qed_45 n53_a_history_of_qed_43->n53_a_history_of_qed_44 n53_a_history_of_qed_46 N n53_a_history_of_qed_45->n53_a_history_of_qed_46 n53_a_history_of_qed_46->n53_a_history_of_qed_47 n53_a_history_of_qed_48->n53_a_history_of_qed_49 n53_a_history_of_qed_51 ILYR n53_a_history_of_qed_50->n53_a_history_of_qed_51 n53_a_history_of_qed_52 VBP;__ n53_a_history_of_qed_51->n53_a_history_of_qed_52 n53_a_history_of_qed_54 NP-OB1 n53_a_history_of_qed_51->n53_a_history_of_qed_54 n53_a_history_of_qed_52->n53_a_history_of_qed_53 n53_a_history_of_qed_55 NPR n53_a_history_of_qed_54->n53_a_history_of_qed_55 n53_a_history_of_qed_57 PUNC n53_a_history_of_qed_54->n53_a_history_of_qed_57 n53_a_history_of_qed_59 NPR n53_a_history_of_qed_54->n53_a_history_of_qed_59 n53_a_history_of_qed_61 NS n53_a_history_of_qed_54->n53_a_history_of_qed_61 n53_a_history_of_qed_63 PP n53_a_history_of_qed_54->n53_a_history_of_qed_63 n53_a_history_of_qed_55->n53_a_history_of_qed_56 n53_a_history_of_qed_57->n53_a_history_of_qed_58 n53_a_history_of_qed_59->n53_a_history_of_qed_60 n53_a_history_of_qed_61->n53_a_history_of_qed_62 n53_a_history_of_qed_64 P-ROLE n53_a_history_of_qed_63->n53_a_history_of_qed_64 n53_a_history_of_qed_66 NP n53_a_history_of_qed_63->n53_a_history_of_qed_66 n53_a_history_of_qed_64->n53_a_history_of_qed_65 n53_a_history_of_qed_67 ADJP n53_a_history_of_qed_66->n53_a_history_of_qed_67 n53_a_history_of_qed_70 N n53_a_history_of_qed_66->n53_a_history_of_qed_70 n53_a_history_of_qed_72 PP n53_a_history_of_qed_66->n53_a_history_of_qed_72 n53_a_history_of_qed_68 ADJ n53_a_history_of_qed_67->n53_a_history_of_qed_68 n53_a_history_of_qed_68->n53_a_history_of_qed_69 n53_a_history_of_qed_70->n53_a_history_of_qed_71 n53_a_history_of_qed_73 P-ROLE n53_a_history_of_qed_72->n53_a_history_of_qed_73 n53_a_history_of_qed_75 NP n53_a_history_of_qed_72->n53_a_history_of_qed_75 n53_a_history_of_qed_73->n53_a_history_of_qed_74 n53_a_history_of_qed_76 ADJP n53_a_history_of_qed_75->n53_a_history_of_qed_76 n53_a_history_of_qed_79 NS n53_a_history_of_qed_75->n53_a_history_of_qed_79 n53_a_history_of_qed_77 ADJ n53_a_history_of_qed_76->n53_a_history_of_qed_77 n53_a_history_of_qed_77->n53_a_history_of_qed_78 n53_a_history_of_qed_79->n53_a_history_of_qed_80 n53_a_history_of_qed_81->n53_a_history_of_qed_82 n53_a_history_of_qed_84 CONJ n53_a_history_of_qed_83->n53_a_history_of_qed_84 n53_a_history_of_qed_86 ILYR n53_a_history_of_qed_83->n53_a_history_of_qed_86 n53_a_history_of_qed_84->n53_a_history_of_qed_85 n53_a_history_of_qed_87 ADVP-NIM n53_a_history_of_qed_86->n53_a_history_of_qed_87 n53_a_history_of_qed_88 ADV n53_a_history_of_qed_87->n53_a_history_of_qed_88 n53_a_history_of_qed_88->n53_a_history_of_qed_89 n53_a_history_of_qed_90->n53_a_history_of_qed_91 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (DON;_Tn_ done;{do})
                      (NP-OB1 (D some;{some})
                              (ADJP (ADVP (ADV fairly;{fairly}))
                                    (ADJ elaborate;{elaborate}))
                              (NS versions;{version})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR grep;{grep})))
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (ILYR (ILYR (VBP;__ construct;{construct})
                                                  (NP-OB1 (NS DFAs;{dfas}))
                                                  (ADVP-NIM (ADV dynamically;{dynamically}))
                                                  (PP-NIM (P-ROLE on;{on})
                                                          (NP (N demand;{demand}))))
                                            (PUNC ,)
                                            (CONJP (ILYR (VBP;__ use;{use})
                                                         (NP-OB1 (NPR Boyer;{Boyer})
                                                                 (PUNC <hyphen>)
                                                                 (NPR Moore;{Moore})
                                                                 (NS techniques;{technique})
                                                                 (PP (P-ROLE for;{for})
                                                                     (NP (ADJP (ADJ fast;{fast}))
                                                                         (N searching;{searching})
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (ADJP (ADJ fixed;{fixed}))
                                                                                 (NS strings;{string}))))))))
                                            (PUNC ,)
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (ADVP-NIM (ADV so_on;{so_on}))))))))
          (PUNC .))
  (ID 53_a_history_of_qed))