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
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