假设[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]是[tex=0.929x1.071]Lq26W3TEkBko1iv7Dqmbeg==[/tex]的子集，其中[tex=0.5x1.0]ycRjqHa76IDpEZtluYQxdQ==[/tex]表示非空符号集合。如果[tex=2.143x1.143]Eesiel1lgRqR0DveNixqhw==[/tex]，则令[tex=8.429x1.357]sqpWojGsBqicuaAvOKdDcXkadGnQWAy/UrEIJxgGZQj1qqWwaNGSTcFs6JjQlAES[/tex]。如果[tex=4.786x1.357]oL6FTU2nZtZ7c4eMiV9gtBgf2BA2uTV6gz3+R8957Kg=[/tex]，则说对于[tex=2.143x1.143]Eesiel1lgRqR0DveNixqhw==[/tex]和[tex=2.071x1.286]774q8FRXJCm2GGUVkAjhXQ==[/tex]，[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]关于[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]是可区分的。对于串[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]，如果[tex=2.429x1.071]UihI9Tz3NuUWrVXkRa9xJA==[/tex]，但[tex=2.929x1.214]1guH7qF6kweI3L3x7Tk27g==[/tex]，或者[tex=3.0x1.214]O343R0riWObENuA4Yjnx4Q==[/tex]，但[tex=2.357x1.214]r87A4h5jcWfk0p6VD7r26w==[/tex]，则称串[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]关于[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]用来区分[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]。当[tex=4.214x1.357]qLYTYqqNM2HuIuhlQZCgkg==[/tex]，我们说[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]关于[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]是不可区分的。令[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]表示所有以01作为结束的位串构成的集合。证明11和10关于[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]是可区分的，1和11关于[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]是不可区分的。