证明语言是正常的

Question

Pumping Lemma用于证明语言不规律。但是语言如何可以 证明是正规的？特别是，

Let L be a language. Define half(L) to be  
{ x | for some y such that |x| = |y|, xy is in L}.  
Prove for each regular L that half(L) is regular.  

是否有任何技巧或一般程序来解决此类问题？

Answer 1

如果您可以通过NFA或DFA正确描述您的语言L，那么它将是常规的。

众所周知的NFA，DFA，regular grammars和regular expressions是平等的，因此在任何这些形式中都应该表达L。

Answer 2

提供与语言匹配的常规语法或有限自动机。要查看完整的属性列表，您可以证明该语言是常规语言，请参阅常规语言Wikipedia Article的第一行。