Package orbital.logic.sign.concrete

Defines the concrete syntax of formal languages.

See:
Description

Class Summary

Notation	Represents notational variants of compositor applications.
Notation.NotationSpecification	Contains the specification of the default notation for a compositor.

Package orbital.logic.sign.concrete Description

Defines the concrete syntax of formal languages.

Contrary to the abstract syntax, the concrete syntax of a language defines the linearization of expressions, with all signs occuring in the specific notation; whether or not they contribute to the logical content.

See Also:

orbital.logic.sign, orbital.moon.logic.LogicParser, Concrete Grammar