確率有限オートマトンの空性問題は決定不能である

確率有限オートマトンの言語が空であるかどうかを決定することは不可能である。