From 157c226259e43c064338ae4844afb796ade817fc Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 29 Nov 2020 22:12:01 +0100 Subject: [PATCH] rs.scrbl: Add module-level definitions. --- scribblings/rs.scrbl | 29 +++++++++++++++++++++-------- 1 file changed, 21 insertions(+), 8 deletions(-) diff --git a/scribblings/rs.scrbl b/scribblings/rs.scrbl index c856415..b79931a 100644 --- a/scribblings/rs.scrbl +++ b/scribblings/rs.scrbl @@ -1,12 +1,25 @@ #lang scribble/manual -@(require (for-label racket graph)) +@(require (for-label racket graph "../rs.rkt")) @title[#:tag "rs"]{dds/rs: Reaction Systems} -@racketblock[ -(define (nobody-understands-me what) - (list "When I think of all the" - what - "I've tried so hard to explain!")) -(nobody-understands-me "glorble snop") -] +@defmodule[dds/rs] + +This module defines reaction systems and various tools for working with them. + +@section[#:tag "rs-basics"]{Basic definitions} + +@section{Org-mode interaction} + +This section contains some useful primitives for +@hyperlink["https://orgmode.org/"]{Org-mode} interoperability. + +@section{Dynamics of reaction systems} + +The dynamics of reaction systems is typically defined as @emph{interaction +processes}. An interactive process of a reaction system is a sequence of +states driven by a sequence of contexts in the following way. The reaction +system starts with the initial context. Then, at every step, the result of +applying the reaction system is merged with the next element of the context +sequence, and the reaction system is then applied to the result of the union. +If the sequence of contexts is empty, the reaction system cannot evolve.