X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=45920eb7d30d2973164e70fedc6d8173ab2f47ea;hb=990f97071a9939d47be16b36f6045d3b23f218e0;hp=d83efaaafb2949fdc03c5527266ad078b754ecb7;hpb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;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..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. + 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 ... + +