Updated nopt.doc for dfa encoded using row displacement
authorbruce <none@none>
Tue, 28 Jul 1987 10:56:44 +0000 (10:56 +0000)
committerbruce <none@none>
Tue, 28 Jul 1987 10:56:44 +0000 (10:56 +0000)
commitac20a570cdf175c3f2446b1af8fab42d2f90dcd0
tree3b0cc4765cff40a0dfe010c0188504501ef50b28
parent545bed355d354e2f482fab6f5ca7ef9d212a1af1
Updated nopt.doc for dfa encoded using row displacement
doc/nopt.doc