{"responseHeader":{"status":0,"QTime":3,"params":{"q":"{!q.op=AND}id:\"108102\"","hl":"true","hl.simple.post":"","hl.fragsize":"5000","fq":"!embargo_tdt:[NOW TO *]","hl.fl":"ocr_t","hl.method":"unified","wt":"json","hl.simple.pre":""}},"response":{"numFound":1,"start":0,"docs":[{"modified_tdt":"2016-11-18T00:00:00Z","thumb_s":"/b7/b3/b7b3a215a93060fbb616637c7bf764e280cb20d9.jpg","oldid_t":"compsci 16215","setname_s":"ir_computersa","file_s":"/57/f7/57f7d9114f2e7fab5c650839b83550f0d991ec1f.pdf","title_t":"Page 26","ocr_t":"18 Ai - Ai+i - A i+\\. (2.17) Under these definitions, the concatenation of Ai and A* is equal to Ai+\\: A i = A i+i - Ai => A i+i = Ai Ai (2.18) Equation 2.18 can be generalized by induction to an arbitrary number of deltas: Equation 2.19 shows that process A can be represented by two equivalent descriptions, either by a sequence of states Ao, A\\, A 2, • • • or by a sequence of deltas Aq, A i , A 2, • • • and beginning state A q. De finition 4 (T ra ce ) The sequence of deltas A q, A i , A 2, ••• is called the trace o f the process A. Equation 2.19 is valid also for A -1 : D e finition 5 (Inverse Trace) The sequence of deltas A ^ , A 2 1, A 3 1, •••, is called the inverse trace of the process A. Any state Ai of the process A can be transformed to any other state Aj by by concatenating A,-, A,-+i, •••, A j_ i to Ai. If j is smaller than «, then Aj is obtained by concatenating the part of the inverse trace Aj-1, A^_\\, • • •, A j^ x to Ai. The concatenation of the inverse trace gives the effect of reverse execution. The following relations hold between A,- and A ^ : A{ Ai Ai+i Aj^-2 ■ * * Ai+n A{+n+\\. (2.19) ■t-n-!• (2.20) concatenating appropriate A or A 1. If j is greater than i, then Aj is obtained Ai Ai A -+\\ = Ai (2.21) Ai+1 A Ai - Ai+i. addr(Ai) = addr(A~+1). (2.22) (2.23)","restricted_i":0,"id":108102,"created_tdt":"2016-11-18T00:00:00Z","format_t":"application/pdf","parent_i":108243,"_version_":1642982404906811395}]},"highlighting":{"108102":{"ocr_t":[]}}}