We propose a universal, asymptotically optimum decision rule fur deciding w
hether or not an observed sequence generated at the output of an unknown fi
nite-state channel corresponds to a given channel-input message. The hypoth
esized message is tested against a certain alternative message or several a
lternative messages under the Neyman-Pearson criterion.