Orbital library

Package orbital.logic.sign.concrete

Defines the concrete syntax of formal languages.


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

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.