The strong converse for the discrete memoryless channel was proved by the author (Wolfowitz, 1957). (The result actually proved is stronger than the strong converse because of the O(~¢/n) term in the exponent). Subsequently the author (1958) and Feinstein (1959) independently gave the capacity C of a discrete finite-memory channel, and proved the strong converse of the coding theorem for the special discrete finitememory channel studied (Wolfowit~, 1957, 1958). In the present note we prove the strong converse for the general discrete finite-memory channel. Thus our result includes t ha t of Wolfowitz (1958) and Feinstein (1959) as a special case. The proof is a slight modification of the proof of Wolfowitz (1958), whose notation and definitions are hereby assumed. For a definition of the capacity C see (Wolfowitz, 1958) or (Feinstein, 1959); for a definition of the general discrete finite-memory channel see (Feinstein, 1959) or (Feinstein, 1958, p. 90). We shall assume without essential loss of generality that both the input and output alphabets consist of two letters, say 0 and l; extension to the case where each alphabet contains any finite number of symbols is trivial. Any sequence of n zeros or ones will be called an n-sequence. A code (N, X) is a set
Read full abstract