Abstract Interpreter for given meta grammar syntax.