There are four types of chomsky hierarchy (specified for formal languages):

Type-0  Recursively enumerable
Type-1  Context-sensitive
Type-2  Context-free
Type-3  Regular

I consider that, it should be the type-0. This type is represented by Turing machine. I think, that it is because of the dynamic changing tokens during runtime, dynamic changing of the meaning of macros, calculating Lambda calcul (what should be the most important).

Do you have any advice?

Browse other questions tagged or ask your own question.