Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895

Accumulation and a nonvanishing allowance

Composition, workspace, and implementation allowances › Accumulation and a nonvanishing allowance · lines 650–656

This reproduces the mechanism of En08-B's prop:accumulation CheungEn08B. The condition $\sum_{j} η_{j} \to 0$ is sufficient, not necessary for every structured implementation.

Nearby in this section

proposition: Proposition: Vanishing local errors can accumulate
example: Example: A constant-error guarantee permits persistent error