Skip to content

Commit b5c3f8f

Browse files
maxitgmaxitg
committed
Add alt text to all Yellowstone documentation pages
1 parent 91f0b91 commit b5c3f8f

17 files changed

+109
-26
lines changed

‎Documentation/Generators/GenerateMultihistory.md‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,15 @@ In[] := multihistory = GenerateMultihistory[
1212
MultisetSubstitutionSystem[{a_, b_} :> {a + b}], MaxDestroyerEvents -> 3, MaxEvents -> 10] @ {1, 2, 3, 4}
1313
```
1414

15-
<img src="/Documentation/Images/MultisetMultihistory.png" width="426.6">
15+
<img src="/Documentation/Images/MultisetMultihistory.png"
16+
width="426.6"
17+
alt="Out[] = Multihistory[... MultisetSubstitutionSystem v0 ...]">
1618

1719
```wl
1820
In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] & @
1921
SetReplaceTypeConvert[WolframModelEvolutionObject] @ multihistory
2022
```
2123

22-
<img src="/Documentation/Images/GenerateMultihistoryExample.png" width="478.2">
24+
<img src="/Documentation/Images/GenerateMultihistoryExample.png"
25+
width="478.2"
26+
alt="Out[] = ... {1, 2} -> {3 (* token 5 *)}, {2, 1} -> {3 (* token 6 *)}, {1, 3 (* init *)} -> {4}, <<7>> ...">

‎Documentation/Generators/GenerateSingleHistory.md‎

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,14 +11,24 @@ In[] := multihistory = GenerateSingleHistory[
1111
MultisetSubstitutionSystem[{a_, b_} :> {a + b, a - b, a * b}], MaxEvents -> 10] @ {1, 2}
1212
```
1313

14-
<img src="/Documentation/Images/MultisetMultihistory.png" width="426.6">
14+
<img src="/Documentation/Images/MultisetMultihistory.png"
15+
width="426.6"
16+
alt="Out[] = Multihistory[... MultisetSubstitutionSystem v0 ...]">
1517

1618
```wl
1719
In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] & @
1820
SetReplaceTypeConvert[WolframModelEvolutionObject] @ multihistory
1921
```
2022

21-
<img src="/Documentation/Images/GenerateSingleHistoryExample.png" width="478.2">
23+
<img src="/Documentation/Images/GenerateSingleHistoryExample.png"
24+
width="478.2"
25+
alt="Out[] = ...
26+
token-event graph where all tokens have out degrees less or equal than 1:
27+
{1, 2 (* init *)} -> {3, -1, 2 (* gen 1 *)},
28+
{3, -1} -> {2 (* gen 2 *), 4 (* gen 2 *), -3},
29+
{2 (* gen 1 *), 2 (* gen 2 *)} -> {4 (* gen 3 sum *), 0, 4 (* gen 3 product *)},
30+
<<7>>
31+
...">
2232

2333
Note that there is a distinction between single-history and single-path systems. Single-path systems are defined as ones
2434
where there is only one event possible from every state. A Turing machine would be an example of a single-path system.

‎Documentation/Generators/MaxDestroyerEvents.md‎

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,9 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
1010
GenerateMultihistory[MultisetSubstitutionSystem[{a_, b_} :> {a + b}], MaxDestroyerEvents -> 1] @ {1, 2, 3}
1111
```
1212

13-
<img src="/Documentation/Images/MaxDestroyerEvents1.png" width="322.2">
13+
<img src="/Documentation/Images/MaxDestroyerEvents1.png"
14+
width="322.2"
15+
alt="Out[] = ... {1, 2} -> {3 (* gen 1 *)}, {3 (* init *), 3 (* gen 1 *)} -> 6 ...">
1416

1517
If unset (which defaults to [`Infinity`](https://reference.wolfram.com/language/ref/Infinity.html)), it will generate a
1618
full multihistory object subject to other selection and stopping parameters:
@@ -22,7 +24,9 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
2224
MultisetSubstitutionSystem[{a_, b_} :> {a + b}], MaxDestroyerEvents -> Infinity, MaxGeneration -> 1] @ {1, 2, 3}
2325
```
2426

25-
<img src="/Documentation/Images/MaxDestroyerEventsInfinity.png" width="478.2">
27+
<img src="/Documentation/Images/MaxDestroyerEventsInfinity.png"
28+
width="478.2"
29+
alt="Out[] = ... {1, 2} -> {3 (* 1 + 2 *)}, {2, 1} -> {3 (* 2 + 1 *)}, {1, 3 (* init *)} -> {4}, <<3>> ...">
2630

2731
If set to a finite number, it will generate a partial multihistory:
2832

@@ -32,6 +36,8 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
3236
GenerateMultihistory[MultisetSubstitutionSystem[{a_, b_} :> {a + b}], MaxDestroyerEvents -> 5] @ {1, 2, 3}
3337
```
3438

35-
<img src="/Documentation/Images/MaxDestroyerEvents5.png" width="478.2">
39+
<img src="/Documentation/Images/MaxDestroyerEvents5.png"
40+
width="478.2"
41+
alt="Out[] = ... token-event graph containing tokens with out degrees up to 5 ...">
3642

3743
Note that results generally depend on the event order in this case, similar to single histories.

‎Documentation/Generators/MaxEvents.md‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@ In[] := #["ExpressionsEventsGraph"] & @
99
GenerateMultihistory[MultisetSubstitutionSystem[{a_, b_} /; a < b :> {a + b}], MaxEvents -> 9] @ {1, 2, 3, 4}
1010
```
1111

12-
<img src="/Documentation/Images/MaxEventsExample.png" width="478.2">
12+
<img src="/Documentation/Images/MaxEventsExample.png"
13+
width="478.2"
14+
alt="Out[] = ... token-event graph with 9 events ...">
1315

1416
Compare to [`MaxGeneration`](MaxGeneration.md), which controls the depth of the evaluation instead.

‎Documentation/Generators/MaxGeneration.md‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,9 @@ In[] := #["ExpressionsEventsGraph",
1919
MaxEvents -> 3] @ {1, 2, 3}
2020
```
2121

22-
<img src="/Documentation/Images/TokenEventGraphGenerations.png" width="444.6">
22+
<img src="/Documentation/Images/TokenEventGraphGenerations.png"
23+
width="444.6"
24+
alt="Out[] = ... token-event graph with 9 tokens arranged in 3 layers, and 3 events in 2 layers in between ...">
2325

2426
Restricting the number of generations to one will prevent the last two events from occurring. Note, however, that
2527
another event is created instead:
@@ -30,7 +32,9 @@ In[] := #["ExpressionsEventsGraph"] & @ SetReplaceTypeConvert[WolframModelEvolut
3032
MaxGeneration -> 1, MaxEvents -> 3] @ {1, 2, 3}
3133
```
3234

33-
<img src="/Documentation/Images/MaxGeneration.png" width="478.2">
35+
<img src="/Documentation/Images/MaxGeneration.png"
36+
width="478.2"
37+
alt="Out[] = ... token-event graph with 2 layers of tokens and a single layer of events ...">
3438

3539
`MaxGeneration` is an event selection parameter, not a stopping condition. That is, the evolution of the system won't
3640
stop if a match (tentative event) with a generation greater than the constraint is encountered. Instead, it will ignore

‎Documentation/Generators/MinEventInputs.md‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,9 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
1212
MultisetSubstitutionSystem[{a___} :> {Total[{a}]}], MinEventInputs -> 0, MaxEvents -> 10] @ {1, 2, 3}
1313
```
1414

15-
<img src="/Documentation/Images/MinEventInputs0.png" width="367.8">
15+
<img src="/Documentation/Images/MinEventInputs0.png"
16+
width="367.8"
17+
alt="Out[] = ... {} -> {0}, {1 (* init *)} -> {1 (* gen 1 *)}, {2 (* init *)} -> {2 (* gen 1 *)}, <<7>> ...">
1618

1719
and `MinEventInputs -> 2`:
1820

@@ -23,4 +25,6 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
2325
MultisetSubstitutionSystem[{a___} :> {Total[{a}]}], MinEventInputs -> 2, MaxEvents -> 10] @ {1, 2, 3}
2426
```
2527

26-
<img src="/Documentation/Images/MinEventInputs2.png" width="478.2">
28+
<img src="/Documentation/Images/MinEventInputs2.png"
29+
width="478.2"
30+
alt="Out[] = ... {1, 2} -> {3 (* 1 + 2 *)}, {2, 1} -> {3 (* 2 + 1 *)}, {1, 3 (* init *)} -> {4}, <<7>> ...">

‎Documentation/Generators/README.md‎

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,9 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
2626
GenerateSingleHistory[MultisetSubstitutionSystem[{a_, b_} /; a < b :> {a + b}]] @ {1, 2, 3, 4}
2727
```
2828

29-
<img src="/Documentation/Images/MultisetSubstitutionSystemExample.png" width="444.6">
29+
<img src="/Documentation/Images/MultisetSubstitutionSystemExample.png"
30+
width="444.6"
31+
alt="Out[] = ... {1, 2} -> {3 (* gen 1 *)}, {3 (* init *), 4} -> {7}, {3 (* gen 1 *), 7} -> {10} ...">
3032

3133
We can also use a more general [`GenerateMultihistory`](GenerateMultihistory.md) and specify
3234
[`MaxDestroyerEvents`](MaxDestroyerEvents.md) manually.
@@ -38,7 +40,15 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
3840
MultisetSubstitutionSystem[{a_, b_} /; a < b :> {a + b}], MaxDestroyerEvents -> 2] @ {1, 2, 3, 4}
3941
```
4042

41-
<img src="/Documentation/Images/MultisetSubstitutionSystemPartialMultihistory.png" width="478.2">
43+
<img src="/Documentation/Images/MultisetSubstitutionSystemPartialMultihistory.png"
44+
width="478.2"
45+
alt="Out[] = ...
46+
{1, 2} -> {3 (* gen 1 *)},
47+
{1, 3 (* init *)} -> {4 (* gen 1 *)},
48+
{2, 3 (* init *)} -> {5},
49+
{3 (* gen 1 *), 4 (* init *)} -> {7},
50+
{4 (* init *), 5} -> {9}
51+
...">
4252

4353
The same generators support multiple systems. In addition to
4454
[`MultisetSubstitutionSystem`](/Documentation/Systems/MultisetSubstitutionSystem.md), other examples include

‎Documentation/Systems/AtomicStateSystem.md‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,9 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
99
GenerateMultihistory[AtomicStateSystem[{n_ :> n + 1, n_ :> n - 1}], MaxGeneration -> 4][0]
1010
```
1111

12-
<img src="/Documentation/Images/AtomicStateSystemExample.png" width="858.6">
12+
<img src="/Documentation/Images/AtomicStateSystemExample.png"
13+
width="858.6"
14+
alt="Out[] = ... 0 -> Rule 1 -> 1, 0 -> Rule 2 -> -1, 1 -> Rule 1 -> 2, <<26>>, -3 -> Rule 2 -> -4 ...">
1315

1416
Note that spacelike separation is not possible in the `AtomicStateSystem`. As a result, branching due to overlaps of
1517
different subsets of input tokens cannot occur. And, since events cannot produce branchlike-separated outputs and there

‎Documentation/Systems/MultisetSubstitutionSystem.md‎

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,9 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
2222
GenerateSingleHistory[MultisetSubstitutionSystem[{a_, b_} /; a < b :> {a + b}]] @ {1, 2, 3, 4}
2323
```
2424

25-
<img src="/Documentation/Images/MultisetSubstitutionSystemExample.png" width="444.6">
25+
<img src="/Documentation/Images/MultisetSubstitutionSystemExample.png"
26+
width="444.6"
27+
alt="Out[] = ... {1, 2} -> {3 (* gen 1 *)}, {3 (* init *), 4} -> {7}, {3 (* gen 1 *), 7} -> {10} ...">
2628

2729
Arbitrary Wolfram Language patterns are supported including
2830
[conditions](https://reference.wolfram.com/language/ref/Condition.html) such as `{a_ /; a > 0, b_}` and
@@ -38,7 +40,12 @@ In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &
3840
MinEventInputs -> 2, MaxEventInputs -> 4] @ {1, 2, 3, 4}
3941
```
4042

41-
<img src="/Documentation/Images/MultisetSubstitutionSystemConditionsAndSequences.png" width="478.2">
43+
<img src="/Documentation/Images/MultisetSubstitutionSystemConditionsAndSequences.png"
44+
width="478.2"
45+
alt="Out[] = ...
46+
generation 1: {1, 2} -> {3}, {1, 4} -> {5}, {2, 3} -> {5}, {3, 4} -> {7}, {1, 2, 4} -> {7},
47+
generation 2: {2, 5} -> {7}, {3 (* gen 1 *), 4} -> {7}
48+
...">
4249

4350
Note, however, that the system cannot recognize if the code on the right-hand side is nondeterministic, so only the
4451
first output will be used for each assignment of pattern variables.

‎Documentation/TypeSystem/$SetReplaceTypeGraph.md‎

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,12 @@
88
In[] := $SetReplaceTypeGraph
99
```
1010

11-
<img src="/Documentation/Images/$SetReplaceTypeGraph.png" width="787.8">
11+
<img src="/Documentation/Images/$SetReplaceTypeGraph.png"
12+
width="787.8"
13+
alt="Out[] = ...
14+
AtomicStateSystem v0 -> MultisetSubstitutionSystem v0,
15+
MultisetSubstitutionSystem v0 -> WolframModelEvolutionObject v2
16+
...">
1217

1318
It is a [`Graph`](https://reference.wolfram.com/language/ref/Graph.html) representation of a directed hypergraph with
1419
types and properties as vertices and implementations of translations and properties as edges.

0 commit comments

Comments
 (0)