问题描述
我正在尝试将以下描述“所有包含 0 和 1 且 0 至少与 1 一样多的字符串”的描述翻译成一种语言。
我想过 {L= 0^n1^n | n>0} 但是“至少”部分呢？这是否意味着我可以有更多的 0 而不是 1？ （例如 000011）（或者可能是 {L = 0^j1^k | j>k,j,k >0} ？）我不完全确定它是如何工作的，所以任何帮助将不胜感激:)>
（顺便说一句，我这样做是为了证明抽引理不正常，欢迎提供任何提示，哈哈）
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）