diff options
author | eudoxia <uplink@distress.network> | 2021-11-16 12:35:37 -0500 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2021-11-16 12:35:37 -0500 |
commit | 63d3df979cac2f6c712c94ca95a897e18d3a293e (patch) | |
tree | db63a12bd47c8fb0aa25f6b8ad28e9e5a4c9727a | |
parent | 334ab3675ff35e2d05f6397f523ec6dbc78724c3 (diff) |
meta: added formal grammar meta-specification
-rw-r--r-- | meta/grammar.html | 106 | ||||
-rwxr-xr-x | meta/index.html | 6 | ||||
-rwxr-xr-x | meta/sitemap/index.html | 2 | ||||
-rwxr-xr-x | meta/src.md | 2 | ||||
-rwxr-xr-x | sitemap.xml | 4 |
5 files changed, 115 insertions, 5 deletions
diff --git a/meta/grammar.html b/meta/grammar.html new file mode 100644 index 0000000..074c4a1 --- /dev/null +++ b/meta/grammar.html @@ -0,0 +1,106 @@ +<!doctype html> +<html lang="en"> +<head> +<meta charset="utf-8"> +<meta name="viewport" content="width=device-width, initial-scale=1.0"> +<link rel="stylesheet" href="/fonts/fonts.css"> +<link rel="apple-touch-icon" sizes="180x180" href="/favicon/apple-touch-icon.png"> +<link rel="icon" type="image/png" sizes="32x32" href="/favicon/favicon-32x32.png"> +<link rel="icon" type="image/png" sizes="16x16" href="/favicon/favicon-16x16.png"> +<link rel="manifest" href="/favicon/site.webmanifest"> +<style> +:root {font-size: 15px;} +body {background-color: #111; margin: 2rem;} +pre {color: #ddd; font-family: jetbrains-mono-regular, Consolas, Menlo, monospace; font-style: normal; font-size: 1rem; line-height: 1.5em; white-space: pre-wrap;} +pre a {color: #ddd;} +pre a:link {text-decoration: none; color: #ddd;} +pre a:visited {text-decoration: none; color: #ddd;} +pre a:hover {text-decoration: none; color: #111; background-color: #ddd;} +pre a:active {text-decoration: none; color: #ddd;} +</style> +<title></title> +<meta http-equiv="last-modified" content="2021-11-16 12:20:05-05:00" /> +</head> + +<body> +<pre> +grammar : rule (rule-separator rule)* + +rule : non-terminal separator ':' separator expression + +rule-separator : \x0A \x0A+ + +separator : (\x09 | \x20)+ + | \x0A (\x09 | \x20)* + +non-terminal : ([A-Z] | [a-z] | [-_]) ([0-9] | [A-Z] | [a-z] | [-_])* + +expression : layer-0 + | layer-1 + | layer-2 + +layer-0 : terminal + | non-terminal + +layer-1 : optional + | repetition + | free-monoid + +layer-2 : alternation + | concatenation + | exception + +terminal : string + | hex-literal + | character-set + | extension + +optional : layer-0 '?' + | '(' (layer-1 | layer-2) ')' '?' + +repetition : layer-0 '+' + | '(' (layer-1 | layer-2) ')' '+' + +free-monoid : layer-0 '*' + | '(' (layer-1 | layer-2) ')' '*' + +alternation : alt-operand separator '|' separator alt-operand + +concatenation : con-operand ' ' con-operand + +exception : exc-operand ' - ' exc-operand + +alt-operand : layer-0 + | layer-1 + | '(' layer-2 ')' + | alternation + | concatenation + +con-operand : layer-0 + | layer-1 + | '(' layer-2 ')' + | concatenation + +exc-operand : layer-0 + | layer-1 + | '(' layer-2 ')' + +string : "'" (anything - "'")* "'" + | '"' (anything - '"')* '"' + +hex-literal : '\x' ([0-9] | [A-F])+ + +character-set : '[' (character-list | character-range | extension) ']' + +character-list : anything+ + | hex-literal+ + +character-range : anything '-' anything + | hex-literal '-' hex-literal + +extension : '<' anything+ '>' + +anything : [<all valid UTF-8 characters>] +</pre> +</body> +</html>
\ No newline at end of file diff --git a/meta/index.html b/meta/index.html index eee3be3..a4f3ca9 100755 --- a/meta/index.html +++ b/meta/index.html @@ -12,14 +12,14 @@ <script src="/js/bg.js"></script> <title>Meta-Website Utilities — DistressNetwork°</title> <meta name="description" content="«INTERSTRATA.» — This directory contains information and utilities concerning the website itself." /> -<meta http-equiv="last-modified" content="2020-11-21 21:30:37-05:00" /> +<meta http-equiv="last-modified" content="2021-11-16 12:34:16-05:00" /> </head> <body> <header> <div class="bomber">INTERSTRATA.</div> <hr> <div class="identcontainer"> -<div class="ident"><time datetime="2020-11-21 21:30:37-05:00">201121</time>––––<a href="https://distress.network">DistressNetwork°</a></div> +<div class="ident"><time datetime="2021-11-16 12:34:16-05:00">211116</time>––––<a href="https://distress.network">DistressNetwork°</a></div> <img class="headerlogo" src="/media/distressnetwork-b.svg" alt=""> </div> </header> @@ -32,6 +32,8 @@ <li>The <a href="meta/styletest">styletest</a> is a template of all document elements with defined styles.</li> <li>The <a href="meta/todo">to-do list</a> is a dynamic list of maintenance tasks.</li> </ul> + +<p>Regarding formal grammar specifications throughout the site, a <a href="meta/grammar.html">specification</a> of the notation within which they are expressed is provided.</p> </main> <nav> <pre> diff --git a/meta/sitemap/index.html b/meta/sitemap/index.html index 8b263ec..8716700 100755 --- a/meta/sitemap/index.html +++ b/meta/sitemap/index.html @@ -19,7 +19,7 @@ pre a:hover {text-decoration: none; color: #111; background-color: #ddd;} pre a:active {text-decoration: none; color: #ddd;} </style> <title>Sitemap — DistressNetwork°</title> -<meta http-equiv="last-modified" content="2021-11-10 16:52:43-05:00" /> +<meta http-equiv="last-modified" content="2021-11-16 12:34:42-05:00" /> </head> <body> diff --git a/meta/src.md b/meta/src.md index b84f3b9..c596265 100755 --- a/meta/src.md +++ b/meta/src.md @@ -6,3 +6,5 @@ leading: This directory contains information and utilities concerning the websit - The [sitemap](meta/sitemap) is a hierarchical overview of all pages on the site. - The [styletest](meta/styletest) is a template of all document elements with defined styles. - The [to-do list](meta/todo) is a dynamic list of maintenance tasks. + +Regarding formal grammar specifications throughout the site, a [specification](meta/grammar.html) of the notation within which they are expressed is provided. diff --git a/sitemap.xml b/sitemap.xml index b58cf54..ca994c8 100755 --- a/sitemap.xml +++ b/sitemap.xml @@ -6,9 +6,9 @@ xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url><loc>https://distress.network/info/</loc><lastmod>2021-04-18T23:33:39-04:00</lastmod></url> -<url><loc>https://distress.network/meta/</loc><lastmod>2020-11-21T21:30:37-05:00</lastmod></url> +<url><loc>https://distress.network/meta/</loc><lastmod>2021-11-16T12:34:16-05:00</lastmod></url> -<url><loc>https://distress.network/meta/sitemap/</loc><lastmod>2021-11-10T16:52:43-05:00</lastmod></url> +<url><loc>https://distress.network/meta/sitemap/</loc><lastmod>2021-11-16T12:34:42-05:00</lastmod></url> <url><loc>https://distress.network/meta/styletest/</loc><lastmod>2021-11-10T15:52:15-05:00</lastmod></url> |