25 lines
977 B
Racket
25 lines
977 B
Racket
#lang scribble/manual
|
|
@(require (for-label racket graph "../rs.rkt"))
|
|
|
|
@title[#:tag "rs"]{dds/rs: Reaction Systems}
|
|
|
|
@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.
|