您能否將任意標記序列可擴展且明確地對應到數字或類別 12 的明確字元標記字串?

您能否將任意標記序列可擴展且明確地對應到數字或類別 12 的明確字元標記字串?

如何映射非外部標記的任意大括號平衡序列可擴展且明確地數字或僅由類別 12 的明確字元標記組成的字串,如果可能的話,僅使用可以在 Knuthian-TeX 中實現的巨集/事物?

起初,我想到在循環中對所有標記進行字串化,然後計算某種明確的校驗和,但字串化會丟失有關類別的信息,因此這種方法無法區分所有可能的標記序列。

如果您能提供有關如何處理該問題的概述,我將不勝感激。然後我可以自己思考具體實現的細節。

不過,我也有疑問:

如果這可以以百分之百可靠的方式完成,那麼這可以用作可擴展的方法來區分,例如,

  • 一個活動的角色令牌等於該掛件中的一個非活動掛件。
  • \relax從-primitive凍結\relax
  • 來自名稱為(可透過 產生)的控制序列的無名控制序列(可透過\csname\endcsname或透過 .tex-input 行末尾的轉義字元(反斜線)產生,當\endlinechar具有負值時),而那些控制序列序列則具有相同的非外部意義。csname⟨escapechar⟩endcsname\csname csname\string\endcsname\endcsname
  • 當字元代碼對應於形成控制序列名稱的字元且\escapechar具有負值時,來自單字母控制序列的明確(非外部)字元標記等於該明確字元標記。
  • \the透過將原始字體命令應用於字體命令而獲得凍結字體控制序列。
  • ……

我是否可以得出這樣的結論:僅限於 Knuthian-TeX 提供的方法的可擴展方法不可能以百分百可靠和實用的方式實現?

如果可擴展性/堅持 Knuthian-TeX 不是問題,如何處理這個問題?

相關內容