9 レイマンの用語でのポンピング補題とは何ですか？ 私はこの質問を見て、ポンピングの補題が何であるかについて興味がありました（ウィキペディアはあまり役に立ちませんでした）。 言語が特定のクラスに入るには、基本的には理論的な証明である必要があることを理解していますが、それを超えると、実際にはわかりません。 非数学者/計算機科学の博士号が理解できる方法で、かなり詳細なレベルでそれを説明しようとする人はいますか？ 82 theory proof pumping-lemma