Proposition. A formal grammar can be defined by a semantic structure in such a way that its output, the parser, is able to handle symbolic information. This makes it possible to use direct translation in translating lower level programming language semantics into a higher abstraction symbolic language, such as the Symbolic language, without missing the essential original semantics.

Advertisements