확률적 유한 오토마타의 공집합 문제는 결정불가능하다

확률적 유한 오토마타의 언어가 공집합인지 결정하는 문제는 결정불가능하다.