小编Gia*_* Vl的帖子

我被赋予了检查这种语言是否正常的任务:

L = {w?{a,b,c}* | where the number of a is less than the number of b+c.}

我既没有找到正则表达式,也没有找到确定性(或不是)有限状态自动机.另一方面,我没有找到任何方法来证明与泵浦引理定理相反.

有任何想法吗？