我有一种语言l1 = {w in {0,1}*|W包含相同的1和0}}，我有一个决定L1的TMM。
我想证明l2 = {w in {0,1}*|w包含比0}更多的1}。
我已经使用了"在补充下封闭"的方法，并证明了M'决定L1(〜l1(的补充。
我的问题是，我可以假设〜l1 =(l2或〜l2(，并得出结论，因为m's决定〜l1 l2和〜l2都是可决定的吗？
谢谢您的建议(对不起，还没有弄清楚如何在这里使用乳胶...(
我只想充实wellbog的答案。这是l1(读取n 1 (w(，为" w"中的1个数字(：
l1 = {W＆＃8712;{0,1} *：n 1 (w(= n 0 (w(}
这是L2：
l2 = {W＆＃8712;{0,1} *：n 1 (w(> n 0 (w(}
从另一侧，l1-bar是：
l1-bar = {W＆＃8712;{0,1} *：n 1 (w(> n 0 0 (w(或n 1 (w(＆lt;n 0 (w(}
显然，L1-bar和L2不同。