Manuscript En07-B@1 · En07-B.tex · section · 45dff4a1
The fixed finite interface
The fixed finite interface · lines 255–260
“Deterministic” includes every success and failure branch. Conditioning on success and renormalizing the successful output is not the decoder interface in Definition def:decoder.