9_a_history_of_qed
%3
0009_0003__QED
qed
0009_0001__Ken
ken
0009_0003__QED->0009_0001__Ken
[genv]
0009_0004__compiled
compiled
0009_0004__compiled->0009_0003__QED
[arg0]
0009_0005__machine_0009_0006__code
machine_code
0009_0004__compiled->0009_0005__machine_0009_0006__code
[arg1]
0009_0010__expression
expression
0009_0004__compiled->0009_0010__expression
for[rst]
0009_0009__regular
regular
0009_0010__expression->0009_0009__regular
[attrib]
0009_0008__each
each[quant]
0009_0008__each->0009_0004__compiled
[scope]
0009_0012__created
created
0009_0008__each->0009_0012__created
[restriction]
0009_0012__created->0009_0010__expression
[arg0]
0009_0013__a_0009_0014__NDFA
a_ndfa
0009_0012__created->0009_0013__a_0009_0014__NDFA
[arg1]
0009_0020__automaton
automaton
0009_0020__automaton->0009_0013__a_0009_0014__NDFA
[prn]
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_0009_0014__NDFA
[arg0]
0009_0024__the_0009_0025__search
the_search
0009_0023__do->0009_0024__the_0009_0025__search
[arg1]
arc(r_0009_0003__QED,r_0009_0001__Ken,genv).
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__rst).
arc(r_0009_0008__each__quant,r_0009_0004__compiled,scope).
arc(r_0009_0008__each__quant,r_0009_0012__created,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_0013__a_r_0009_0014__NDFA,prn).
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,arg0).
arc(r_0009_0023__do,r_0009_0024__the_r_0009_0025__search,arg1).
IP-MAT
NP-SBJ
NP-GENV
NPR
Ken
GENM
's
NPR
QED
VBD
compiled
NP-OB1
N
machine
N
code
PP-RST
P-ROLE
for
NP
Q
each
ADJP
ADJ
regular
N
expression
IP-REL
NP-SBJ
RPRO
that
VBD;~Tn
created
NP-OB1
D
a
NPR
NDFA
PULB
-LRB-
PRN
NP
ADVP
ADV
non
PUNC
-
ADJP
ADJ
deterministic
ADJP
ADJ
finite
N
automaton
PURB
-RRB-
IP-INF-REL
NP-SBJ
*T*
TO
to
DO
do
NP-OB1
D
the
N
search
PUNC
.
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GENV;{KEN} (NPR Ken;{Ken})
(GENM <apos>s))
(NPR QED;{QED}))
(VBD compiled;{compile})
(NP-OB1 (N machine;{machine})
(N code;{code}))
(PP-RST (P-ROLE for;{for})
(NP (Q each;{each})
(ADJP (ADJ regular;{regular}))
(N expression;{expression})
(IP-REL (NP-SBJ (RPRO that;{that}))
(VBD;~Tn created;{create})
(NP-OB1 (D a;{a})
(NPR NDFA;{NDFA})
(PULB -LRB-)
(PRN (NP (ADVP (ADV non;{non}))
(PUNC -)
(ADJP (ADJ deterministic;{deterministic}))
(ADJP (ADJ finite;{finite}))
(N automaton;{automaton})))
(PURB -RRB-)
(IP-INF-REL (NP-SBJ *T*)
(TO to;{to})
(DO do;{do})
(NP-OB1 (D the;{the})
(N search;{search})))))))
(PUNC .))
(ID 9_a_history_of_qed))