X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=1f56010588f35eb77b065d0dcf5d5359a2e667d7;hb=ed87c2c166f9f5db2729772e55154d7858dae4d6;hp=d83efaaafb2949fdc03c5527266ad078b754ecb7;hpb=b6e1db4f1b0f1d5121f2b214562f96c5b0fa544e;p=helm.git diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml index d83efaaaf..1f5601058 100644 --- a/helm/www/lambdadelta/web/home/osn.ldw.xml +++ b/helm/www/lambdadelta/web/home/osn.ldw.xml @@ -10,7 +10,7 @@ Open Symbolic Notation, abbreviated OSN, is an easy and flexible data-interchange text format intended for the lightweight representation of - generic abstract syntax trees in the domain of formal systems. + generic abstract syntax trees in the domain of formal languages. In order to meet these design goals, OSN pursues the following features. - - - - - - Syntax + Grammar An OSN text uses the UTF-8 character set @@ -62,7 +57,8 @@ and are available for extensions of OSN. - + This token can represent the identifiers and the numerical constants of most programming languages: + @@ -73,10 +69,10 @@ - - this token can represent the identifiers and the numerical constants of most programming languages; + - + This token contains free-form text with commonly accepted escape sequences: + @@ -121,10 +117,10 @@ - - this token contains free-form text with commonly accepted escape sequences; + - + This token is a widely used alternative of the former token: + @@ -134,45 +130,89 @@ - - this token is a widely used alternative of the former; + - + This token separates the qualifiers of a symbolic expression: + - - this token separates the qualifiers of a symbolic expression; + - + This token starts a compound symbolic expression: + - - this token starts a compound symbolic expression; + - + This token ends a compound symbolic expression: + - - this token ends a compound symbolic expression; + - + This token is ignored and separates the other tokens: + - - this token is ignored and separates the other tokens. + + The grammar of OSN is very liberal by design. + Spaces of the form can appear between any pair of tokens. + + An OSN text: + + + + + + + A qualified symbolic expression: + + + + + + + + + + An unqualified symbolic expression: + + + + + + + + + + + + + + + Semantics + + Forthcoming ... + + Implementation + + + Forthcoming ... + +