X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=45920eb7d30d2973164e70fedc6d8173ab2f47ea;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=ef8580bb8c47b9ac7c3097cdc98d912c81d915fa;hpb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;p=helm.git diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml index ef8580bb8..45920eb7d 100644 --- a/helm/www/lambdadelta/web/home/osn.ldw.xml +++ b/helm/www/lambdadelta/web/home/osn.ldw.xml @@ -10,10 +10,10 @@ 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. - In order to meet theese design goals, OSN pursues the following features. + 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 +55,8 @@ and are available for extensions of OSN. - + This token can represent the identifiers and the numerical constants of most programming languages: + @@ -73,10 +67,11 @@ - - 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 +116,11 @@ - - 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,95 @@ - - 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 ... + +