计算理论总结
Context Free Language
{ww}不是CFL 泵定理可证
{w has the same number of a and b} 是CFL不是正则
{aibjcidj}不是CFL 泵定理可证
L是CFL,R是正则,L-R是CFL,但R-L不一定是CFL
{ww}不是CFL 泵定理可证
{w has the same number of a and b} 是CFL不是正则
{aibjcidj}不是CFL 泵定理可证
L是CFL,R是正则,L-R是CFL,但R-L不一定是CFL