Можно ли сопоставить произвольные последовательности токенов расширяемо и однозначно с числами или строками явных символьных токенов категории 12?

Question

Как отобразить произвольные последовательности невнешних токенов, сбалансированные по фигурным скобкамрасширяемо и недвусмысленнок числам или к строкам, состоящим исключительно из явных символьных токенов категории 12, если это возможно только с помощью макросов/вещей, которые можно реализовать в Knuthian-TeX?

Сначала я думал о том, чтобы преобразовать все токены в строку в цикле, а затем вычислить некую однозначную контрольную сумму, но преобразование в строку подразумевает потерю информации о категориях, и поэтому такой подход не может различить все возможные последовательности токенов.

Я был бы благодарен за схему подхода к этому вопросу. Тогда я смогу сам подумать о деталях конкретной реализации.

Однако у меня есть сомнения:

Если бы это можно было сделать способом, который надежен на сто процентов, то это можно было бы использовать как расширяемый метод для различения, например,

• активный символ-токен пусть будет равен неактивному кулону из этого кулона.
• замороженный - \relaxот \relax-примитивный.
• безымянная управляющая последовательность (производимая через \csname\endcsnameили через escape-символ (обратную косую черту) в конце строки .tex-input, пока \endlinecharимеет отрицательное значение) из управляющей последовательности, имя которой csname⟨escapechar⟩endcsname(производимое через \csname csname\string\endcsname\endcsname), в то время как эти управляющие последовательности имеют одинаковое невнешнее значение.
• явный (не внешний) токен символа из однобуквенной управляющей последовательности пусть будет равен этому явному токену символа, когда код символа соответствует символу, который образует имя управляющей последовательности, но \escapecharимеет отрицательное значение.
• замороженные последовательности управления шрифтом, полученные путем применения \theк команде шрифта исходной команды шрифта.
• ...

Могу ли я сделать вывод, что расширяемый подход, ограниченный средствами, предоставляемыми Knuthian-TeX, невозможен таким образом, чтобы быть на сто процентов надежным и практичным?

Как подойти к этому вопросу, если расширяемость/придерживание Knuthian-TeX не является проблемой?