Context                Previous, Next                Top


9_a_history_of_qed
Ken's QED compiled machine code for each regular expression that created a NDFA (non - deterministic finite automaton) to do the search.

%3 0009_0003__QED QED 0009_0001__Ken Ken 0009_0003__QED->0009_0001__Ken [gen] 0009_0004__compiled compiled 0009_0004__compiled->0009_0003__QED [arg0] 0009_0005__machine_6__code machine_code 0009_0004__compiled->0009_0005__machine_6__code [arg1] 0009_0010__expression expression 0009_0004__compiled->0009_0010__expression for[nim] 0009_0009__regular regular 0009_0010__expression->0009_0009__regular [attrib] 0009_0008__each each[quant] 0009_0008__each->0009_0004__compiled [scope] 0009_0008__each->0009_0010__expression [restriction] 0009_0012__created created 0009_0012__created->0009_0010__expression [arg0] 0009_0013__a_14__NDFA a_NDFA 0009_0012__created->0009_0013__a_14__NDFA [arg1] 0009_0020__automaton automaton 0009_0016__non non 0009_0020__automaton->0009_0016__non [qual] 0009_0018__deterministic deterministic 0009_0020__automaton->0009_0018__deterministic [attrib] 0009_0019__finite finite 0009_0020__automaton->0009_0019__finite [attrib] 0009_0023__do do 0009_0023__do->0009_0013__a_14__NDFA [inv][arg0] 0009_0024__the_25__search the_search 0009_0023__do->0009_0024__the_25__search [arg1] 0009_5009 0009_5009->0009_0013__a_14__NDFA [arg0] 0009_5009->0009_0020__automaton [prd] 
arc(r_0009_0003__QED,r_0009_0001__Ken,gen).
arc(r_0009_0004__compiled,r_0009_0003__QED,arg0).
arc(r_0009_0004__compiled,r_0009_0005__machine_r_0009_0006__code,arg1).
arc(r_0009_0004__compiled,r_0009_0010__expression,r_0009_0007__for__nim).
arc(r_0009_0008__each__quant,r_0009_0004__compiled,scope).
arc(r_0009_0008__each__quant,r_0009_0010__expression,restriction).
arc(r_0009_0010__expression,r_0009_0009__regular,attrib).
arc(r_0009_0012__created,r_0009_0010__expression,arg0).
arc(r_0009_0012__created,r_0009_0013__a_r_0009_0014__NDFA,arg1).
arc(r_0009_0020__automaton,r_0009_0016__non,qual).
arc(r_0009_0020__automaton,r_0009_0018__deterministic,attrib).
arc(r_0009_0020__automaton,r_0009_0019__finite,attrib).
arc(r_0009_0023__do,r_0009_0013__a_r_0009_0014__NDFA,inv_arg0).
arc(r_0009_0023__do,r_0009_0024__the_r_0009_0025__search,arg1).
arc(z_0009_5009,r_0009_0013__a_r_0009_0014__NDFA,arg0).
arc(z_0009_5009,r_0009_0020__automaton,prd).

n9_a_history_of_qed n9_a_history_of_qed__1_1_1_1_1 Ken n9_a_history_of_qed__1_1_1_2_1 's n9_a_history_of_qed__1_1_2_1 QED n9_a_history_of_qed__1_2_1 compiled n9_a_history_of_qed__1_3_1_1 machine n9_a_history_of_qed__1_3_2_1 code n9_a_history_of_qed__1_4_1_1 for n9_a_history_of_qed__1_4_2_1_1 each n9_a_history_of_qed__1_4_2_2_1_1 regular n9_a_history_of_qed__1_4_2_3_1 expression n9_a_history_of_qed__1_4_2_4_1_1 that n9_a_history_of_qed__1_4_2_4_2_1 *T* n9_a_history_of_qed__1_4_2_4_3_1 created n9_a_history_of_qed__1_4_2_4_4_1_1 a n9_a_history_of_qed__1_4_2_4_4_2_1 NDFA n9_a_history_of_qed__1_4_2_4_4_3_1 -LRB- n9_a_history_of_qed__1_4_2_4_4_4_1_1_1_1 non n9_a_history_of_qed__1_4_2_4_4_4_1_2_1 - n9_a_history_of_qed__1_4_2_4_4_4_1_3_1_1 deterministic n9_a_history_of_qed__1_4_2_4_4_4_1_4_1_1 finite n9_a_history_of_qed__1_4_2_4_4_4_1_5_1 automaton n9_a_history_of_qed__1_4_2_4_4_5_1 -RRB- n9_a_history_of_qed__1_4_2_4_4_6_1_1 *T* n9_a_history_of_qed__1_4_2_4_4_6_2_1 to n9_a_history_of_qed__1_4_2_4_4_6_3_1 do n9_a_history_of_qed__1_4_2_4_4_6_4_1_1 the n9_a_history_of_qed__1_4_2_4_4_6_4_2_1 search n9_a_history_of_qed__1_5_1 . n9_a_history_of_qed__1 IP-MAT n9_a_history_of_qed__1_1 NP-SBJ n9_a_history_of_qed__1->n9_a_history_of_qed__1_1 n9_a_history_of_qed__1_2 VBD;~ n9_a_history_of_qed__1->n9_a_history_of_qed__1_2 n9_a_history_of_qed__1_3 NP-OB1 n9_a_history_of_qed__1->n9_a_history_of_qed__1_3 n9_a_history_of_qed__1_4 PP-NIM n9_a_history_of_qed__1->n9_a_history_of_qed__1_4 n9_a_history_of_qed__1_5 PUNC n9_a_history_of_qed__1->n9_a_history_of_qed__1_5 n9_a_history_of_qed__1_1_1 NP-GEN n9_a_history_of_qed__1_1->n9_a_history_of_qed__1_1_1 n9_a_history_of_qed__1_1_2 NPR n9_a_history_of_qed__1_1->n9_a_history_of_qed__1_1_2 n9_a_history_of_qed__1_1_1_1 NPR n9_a_history_of_qed__1_1_1->n9_a_history_of_qed__1_1_1_1 n9_a_history_of_qed__1_1_1_2 GENM n9_a_history_of_qed__1_1_1->n9_a_history_of_qed__1_1_1_2 n9_a_history_of_qed__1_1_1_1->n9_a_history_of_qed__1_1_1_1_1 n9_a_history_of_qed__1_1_1_2->n9_a_history_of_qed__1_1_1_2_1 n9_a_history_of_qed__1_1_2->n9_a_history_of_qed__1_1_2_1 n9_a_history_of_qed__1_2->n9_a_history_of_qed__1_2_1 n9_a_history_of_qed__1_3_1 N n9_a_history_of_qed__1_3->n9_a_history_of_qed__1_3_1 n9_a_history_of_qed__1_3_2 N n9_a_history_of_qed__1_3->n9_a_history_of_qed__1_3_2 n9_a_history_of_qed__1_3_1->n9_a_history_of_qed__1_3_1_1 n9_a_history_of_qed__1_3_2->n9_a_history_of_qed__1_3_2_1 n9_a_history_of_qed__1_4_1 P-ROLE n9_a_history_of_qed__1_4->n9_a_history_of_qed__1_4_1 n9_a_history_of_qed__1_4_2 NP n9_a_history_of_qed__1_4->n9_a_history_of_qed__1_4_2 n9_a_history_of_qed__1_4_1->n9_a_history_of_qed__1_4_1_1 n9_a_history_of_qed__1_4_2_1 Q n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_1 n9_a_history_of_qed__1_4_2_2 ADJP n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_2 n9_a_history_of_qed__1_4_2_3 N n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_3 n9_a_history_of_qed__1_4_2_4 IP-REL n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_4 n9_a_history_of_qed__1_4_2_1->n9_a_history_of_qed__1_4_2_1_1 n9_a_history_of_qed__1_4_2_2_1 ADJ n9_a_history_of_qed__1_4_2_2->n9_a_history_of_qed__1_4_2_2_1 n9_a_history_of_qed__1_4_2_2_1->n9_a_history_of_qed__1_4_2_2_1_1 n9_a_history_of_qed__1_4_2_3->n9_a_history_of_qed__1_4_2_3_1 n9_a_history_of_qed__1_4_2_4_1 C n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_1 n9_a_history_of_qed__1_4_2_4_2 NP-SBJ n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_2 n9_a_history_of_qed__1_4_2_4_3 VBD;~Tn n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_3 n9_a_history_of_qed__1_4_2_4_4 NP-OB1 n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_4 n9_a_history_of_qed__1_4_2_4_1->n9_a_history_of_qed__1_4_2_4_1_1 n9_a_history_of_qed__1_4_2_4_2->n9_a_history_of_qed__1_4_2_4_2_1 n9_a_history_of_qed__1_4_2_4_3->n9_a_history_of_qed__1_4_2_4_3_1 n9_a_history_of_qed__1_4_2_4_4_1 D n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_1 n9_a_history_of_qed__1_4_2_4_4_2 NPR n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_2 n9_a_history_of_qed__1_4_2_4_4_3 PULB n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_3 n9_a_history_of_qed__1_4_2_4_4_4 PRN n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_4 n9_a_history_of_qed__1_4_2_4_4_5 PURB n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_5 n9_a_history_of_qed__1_4_2_4_4_6 IP-INF-REL n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_6 n9_a_history_of_qed__1_4_2_4_4_1->n9_a_history_of_qed__1_4_2_4_4_1_1 n9_a_history_of_qed__1_4_2_4_4_2->n9_a_history_of_qed__1_4_2_4_4_2_1 n9_a_history_of_qed__1_4_2_4_4_3->n9_a_history_of_qed__1_4_2_4_4_3_1 n9_a_history_of_qed__1_4_2_4_4_4_1 NP n9_a_history_of_qed__1_4_2_4_4_4->n9_a_history_of_qed__1_4_2_4_4_4_1 n9_a_history_of_qed__1_4_2_4_4_4_1_1 ADVP n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_1 n9_a_history_of_qed__1_4_2_4_4_4_1_2 PUNC n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_2 n9_a_history_of_qed__1_4_2_4_4_4_1_3 ADJP n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_3 n9_a_history_of_qed__1_4_2_4_4_4_1_4 ADJP n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_4 n9_a_history_of_qed__1_4_2_4_4_4_1_5 N n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_5 n9_a_history_of_qed__1_4_2_4_4_4_1_1_1 ADV n9_a_history_of_qed__1_4_2_4_4_4_1_1->n9_a_history_of_qed__1_4_2_4_4_4_1_1_1 n9_a_history_of_qed__1_4_2_4_4_4_1_1_1->n9_a_history_of_qed__1_4_2_4_4_4_1_1_1_1 n9_a_history_of_qed__1_4_2_4_4_4_1_2->n9_a_history_of_qed__1_4_2_4_4_4_1_2_1 n9_a_history_of_qed__1_4_2_4_4_4_1_3_1 ADJ n9_a_history_of_qed__1_4_2_4_4_4_1_3->n9_a_history_of_qed__1_4_2_4_4_4_1_3_1 n9_a_history_of_qed__1_4_2_4_4_4_1_3_1->n9_a_history_of_qed__1_4_2_4_4_4_1_3_1_1 n9_a_history_of_qed__1_4_2_4_4_4_1_4_1 ADJ n9_a_history_of_qed__1_4_2_4_4_4_1_4->n9_a_history_of_qed__1_4_2_4_4_4_1_4_1 n9_a_history_of_qed__1_4_2_4_4_4_1_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_4_1_1 n9_a_history_of_qed__1_4_2_4_4_4_1_5->n9_a_history_of_qed__1_4_2_4_4_4_1_5_1 n9_a_history_of_qed__1_4_2_4_4_5->n9_a_history_of_qed__1_4_2_4_4_5_1 n9_a_history_of_qed__1_4_2_4_4_6_1 NP-SBJ n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_1 n9_a_history_of_qed__1_4_2_4_4_6_2 TO n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_2 n9_a_history_of_qed__1_4_2_4_4_6_3 DO;~Tn n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_3 n9_a_history_of_qed__1_4_2_4_4_6_4 NP-OB1 n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_4 n9_a_history_of_qed__1_4_2_4_4_6_1->n9_a_history_of_qed__1_4_2_4_4_6_1_1 n9_a_history_of_qed__1_4_2_4_4_6_2->n9_a_history_of_qed__1_4_2_4_4_6_2_1 n9_a_history_of_qed__1_4_2_4_4_6_3->n9_a_history_of_qed__1_4_2_4_4_6_3_1 n9_a_history_of_qed__1_4_2_4_4_6_4_1 D n9_a_history_of_qed__1_4_2_4_4_6_4->n9_a_history_of_qed__1_4_2_4_4_6_4_1 n9_a_history_of_qed__1_4_2_4_4_6_4_2 N n9_a_history_of_qed__1_4_2_4_4_6_4->n9_a_history_of_qed__1_4_2_4_4_6_4_2 n9_a_history_of_qed__1_4_2_4_4_6_4_1->n9_a_history_of_qed__1_4_2_4_4_6_4_1_1 n9_a_history_of_qed__1_4_2_4_4_6_4_2->n9_a_history_of_qed__1_4_2_4_4_6_4_2_1 n9_a_history_of_qed__1_5->n9_a_history_of_qed__1_5_1 
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
                                           (GENM <apos>s))
                             (NPR QED;{QED}))
          (VBD;~ compiled;{compile})
          (NP-OB1 (N machine;{machine})
                  (N code;{code}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (Q each;{each})
                      (ADJP (ADJ regular;{regular}))
                      (N expression;{expression})
                      (IP-REL (C that;{that})
                              (NP-SBJ *T*)
                              (VBD;~Tn created;{create})
                              (NP-OB1 (D a;{a})
                                      (NPR NDFA;{NDFA})
                                      (PULB -LRB-)
                                      (PRN (NP (ADVP (ADV non;{non}))
                                               (PUNC <hyphen>)
                                               (ADJP (ADJ deterministic;{deterministic}))
                                               (ADJP (ADJ finite;{finite}))
                                               (N automaton;{automaton})))
                                      (PURB -RRB-)
                                      (IP-INF-REL (NP-SBJ *T*)
                                                  (TO to;{to})
                                                  (DO;~Tn do;{do})
                                                  (NP-OB1 (D the;{the})
                                                          (N search;{search})))))))
          (PUNC .))
  (ID 9_a_history_of_qed))