Titlebook: Software Synthesis from Dataflow Graphs; Shuvra S. Battacharyya,Praveen K. Murthy,Edward A. Book 1996 Kluwer Academic Publishers 1996 Over

faultfinder

诱使

Terminology and Notation,We adopt the convention of indexing vectors and matrices using functional notation rather than subscripts or superscripts. Thus, for example, .(3) represents the third component of the vector ., and . represents the value at the . th row and . th column of the matrix .. We denote the transpose of the vector . by ..