タグ付けされた質問 「language-theory」

C＃またはJavaの次のバージョンに多重継承を含めるかどうかを常に尋ねる人がいます。この能力を持つ幸運なC ++の人々は、これは誰かが最終的に自分自身を吊るすためのロープを与えるようなものだと言います。 多重継承の問題は何ですか？具体的なサンプルはありますか？

121 oop  multiple-inheritance  language-theory 

実際の現代の正規表現は実際にどのクラスの言語を認識しますか？ 後方参照（例(.*)_\1）を持つ無制限の長さのキャプチャグループがある場合は常に、正規表現が非正規言語と一致するようになりました。しかし、これだけでは、次のようなものに一致するのに十分ではありませんS ::= '(' S ')' | ε—親のペアを一致させる文脈自由言語。 再帰的な正規表現（これは私にとっては新しいものですが、PerlとPCREに存在すると確信しています）は、少なくともほとんどのCFLを認識しているように見えます。 誰かがこの分野で何か研究をしたり読んだりしましたか？これらの「現代の」正規表現の制限は何ですか？彼らは、LLまたはLR文法のCFGよりも厳密に多いか厳密に少ないかを認識していますか？または、正規表現では認識できるがCFGでは認識できない言語とその逆の言語の両方が存在しますか？ 関連する論文へのリンクをいただければ幸いです。

83 regex  perl  theory  context-free-grammar  language-theory