¿Puede asignar secuencias de tokens arbitrarias de manera expandible y sin ambigüedades a números o cadenas de tokens de caracteres explícitos de categoría 12?

Question

Cómo mapear secuencias arbitrarias balanceadas entre llaves de tokens no externosampliable y sin ambigüedades¿A números o cadenas que consisten exclusivamente en tokens de caracteres explícitos de categoría 12, si es posible solo con macros/cosas que se pueden implementar en Knuthian-TeX?

Al principio pensé en encadenar todos los tokens en un bucle y luego calcular algún tipo de suma de verificación inequívoca, pero encadenar implica perder información sobre las categorías y, por lo tanto, este enfoque no puede distinguir todas las secuencias de tokens posibles.

Agradecería una descripción general de cómo abordar el asunto. Entonces puedo pensar yo mismo en los detalles de una implementación concreta.

Sin embargo tengo mis dudas:

Si esto pudiera hacerse de una manera que fuera cien por ciento confiable, entonces podría usarse como un método expandible para distinguir, por ejemplo,

• un token de personaje activo es igual a un colgante no activo de ese colgante.
• congelado- \relaxde lo \relax-primitivo.
• la secuencia de control sin nombre (producible mediante \csname\endcsnameo mediante un carácter de escape (barra invertida) al final de una línea de .tex-input while \endlinechartiene un valor negativo) de la secuencia de control cuyo nombre es csname⟨escapechar⟩endcsname(producible mediante \csname csname\string\endcsname\endcsname) mientras que esos control- Las secuencias tienen el mismo significado no externo.
• token de carácter explícito (no externo) de secuencia de control de una letra let igual a ese token de carácter explícito cuando el código de carácter corresponde al carácter que forma el nombre de la secuencia de control mientras \escapechartiene un valor negativo.
• Secuencias de control de fuentes congeladas obtenidas aplicando \thea un comando de fuente el comando de fuente original.
• ...

¿Puedo concluir que un enfoque ampliable restringido a los medios proporcionados por Knuthian-TeX no es posible de una manera que sea cien por ciento confiable y práctica?

¿Cómo abordar el asunto si la capacidad de expansión/adherirse a Knuthian-TeX no es un problema?