aML - a Macro Language revised formal definition

aML is a context sensitive language in which macro names and invocations of macros together with their embedding context are freely electable so far as they can be characterized by regular languages. Due to the above features, aML is not simply for extending programming languages, but much rather for singling particular phrases of formerly issued text and make them become macro invocations of subsequently implemented macro definitions. The basis of aML is FORMAL defined in Eötvös Loránd University Computer Centre in the middle of 80s. FORMAL in many aspects broke away the philosophy of early time macro languages and the expansion methods applied with them.