如何使用谓词包含(b,l,t)正确地写出空(b,t)-action的效果公理如果桶b在时间t保持l升水,则谓词评估为True.
空(b,t):在时间t完全清空桶b.在时间t + 1可以看到转移的影响
转移(b,b',t):尽可能多的水从桶b转移到桶b',而不会在时间t溢出任何开始.在时间t + 1可以看到转移的影响.
铲斗1装满水并容纳7升水.铲斗2是空的并且容纳3升.目标状态是b2含有1升水.
我会说正确的解决方案是:
to any b,t,l( empty(b,t) -> contains(b,l,t))
这是正确的还是我应该将升的数量设置为l = 5,例如？
我试图使用egrep和regex从文件中获取模式而没有成功.
我需要的是获取一个文件,例如一个约定名称:
xx_code_lastname_firstname_city.doc
代码应至少有3位数字,姓氏和名字以及城市的大小可能会有所不同
我正在尝试下面的代码,但它无法实现我想要的:
ls -1 | grep -E "[xx_][A-Za-z]{3,}[_][A-Za-z]{2,}[_][A-Za-z]{2,}[_][A-Za-z]{2,}[.][doc|pdf]"
那是试图从开始获取标准xx_,然后是任何至少有3个单词的代码,之后它必须有另一个下划线,依此类推.有人可以帮忙吗？