Manuscript Em05-B@1 · Em05-B-v1.tex · definition · 6c050f5b

Definition: Specified complete decoder

The specified decoder and its flagged instrument · lines 991–1002

Em05-B@1#def:specified, Em05-B@1#eq:specifiedDecoder

Back to manuscript

The decoder is

It is defined on the entire accessible space, not only the code.

Displayed formulas in this passage

  • Em05-B@1#eq:specifiedDecoder · line 994

Nearby in this section