что я нашёл из теории это pushdown automata и просто машина Тьюринга. Можно ли вообще математикой как-то точно описать интерпретатор? Его операции, прыжки, работу со стеком. Или это бессмысленное занятие?
Можно. Скорее всего подойдёт small stack operational semantics. Посмотрите как это сделано в спецификации Web Assembly, например.
Обсуждают сегодня