ゴーデル、エッシャー、バッハという本で MIU Formal システムをコード化しようとしていたとき、障害に遭遇しました。私はコンピューターサイエンスとPythonにかなり慣れていないため、基本的な質問です。
derivations = [[0,'MI'],[1,'MII','MIU'],[2,'MIUIU','MIIU','MIII']]
各サブインデックスの先頭にツリー深度番号を持つサブインデックスのインデックスの派生を作成したかったのです。これらのサブインデックスをその整数で分離して、次の文字列をループで実行する最良の方法は何ですか?
前もって感謝します