Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我试图证明机器 L(M) 中的字符串是否是可判定的,但我无法找到合适的结果。谁能帮我解释一些关于这个的例子。
我正在尝试的场景是我有两个字符串,S1 是 S2 的子集,因此显示机器 L(M) 是可确定的