[discussione] tex e programmi validatori automatici

Ciao a tutti,

vi volevo solleticare la mente con una cosa forse banale, ma alla quale non c’ero arrivato subito, chiedendovi un parere.
Ieri mi sono imbattuto in questo validissimo documento, per il quale ringrazio egreg9, nel quale viene fatto riferimento ad un validatore automatico di latex di Markus Kohm. L’ho provato
pastandogli brutalmente il mio codice e ne ho visti i limiti. Ora la mia questione è la seguente: il programma è limitato poichè in fase di sviluppo, oppure è stato volutamente lasciato incompleto?
Mi spiego, mi sto arrovellando le meningi da un pò con informatica teorica, nella quale si asserisce che un linguaggio ha il massimo potere espressivo se è turing completo(vi prego passatemi le approssimazioni e le imprecisioni da qui in poi).
Ora ho “due” modi per creare un programma automatico in grado di validare un qualsiasi programma in un linguaggio turing completo(come tex):

-o creo un programma che mi verifica la terminazione di un compilatore tex sull’input dato(cosa che sappiamo essere indecidibile),
-oppure lancio il compilatore tex e verifico se termina.

Quindi poichè solo la seconda strada è possibile, dovrei fare una cosa tipo: “exec tex input.tex”, con il problema che può essere eseguita qualunque tipo di computazione, anche le divergenti => loop => server down.

Quanto dico è verosimilmente corretto, o sono allucinato dalle sudate carte?( e quindi mi consigliate di smettere :P)

Grazie a tutti per la pazienza.
Alberto