Você pode mapear sequências de tokens arbitrários de forma expansível e inequívoca para números ou para sequências de tokens de caracteres explícitos da categoria 12?

Question

Como mapear sequências arbitrárias com balanceamento de chaves de tokens não externosde forma expansível e inequívocapara números ou strings consistindo exclusivamente de tokens de caracteres explícitos da categoria 12, se possível apenas com macros/coisas que podem ser implementadas em Knuthian-TeX?

A princípio pensei em restringir todos os tokens em um loop e depois calcular algum tipo de soma de verificação inequívoca, mas restringir envolve a perda de informações sobre categorias e, portanto, tal abordagem não consegue distinguir todas as sequências de tokens possíveis.

Eu ficaria muito grato por um esboço de como abordar o assunto. Posso então pensar sozinho nos detalhes de uma implementação concreta.

Porém, tenho minhas dúvidas:

Se isso pudesse ser feito de uma forma que fosse cem por cento confiável, então isso poderia ser usado como um método expansível para distinguir, por exemplo,

• um token de personagem ativo é igual a um pingente não ativo desse pingente.
• congelado- \relaxdo \relax-primitivo.
• a sequência de controle sem nome (produzida por meio de \csname\endcsnameou por meio de um caractere de escape (barra invertida) no final de uma linha de .tex-input while \endlinechartem um valor negativo) da sequência de controle cujo nome é csname⟨escapechar⟩endcsname(produzida via \csname csname\string\endcsname\endcsname) enquanto aqueles control- sequências têm o mesmo significado não externo.
• token de caractere explícito (não externo) da sequência de controle de uma letra é igual a esse token de caractere explícito quando o código do caractere corresponde ao caractere que forma o nome da sequência de controle enquanto \escapechartem um valor negativo.
• sequências de controle de fonte congelada obtidas pela aplicação \thea um comando de fonte do comando de fonte original.
• ...

Posso concluir que uma abordagem expansível restrita aos meios fornecidos pelo Knuthian-TeX não é possível de uma forma que seja cem por cento confiável e prática?

Como abordar o assunto se a capacidade de expansão/adesão ao Knuthian-TeX não é um problema?