vault backup: 2025-05-02 14:51:13

2025-05-02 14:51:13 +02:00 · 2025-05-02 14:51:13 +02:00 · 6600b4a89b
commit 6600b4a89b
parent 5c85943a98
1 changed files with 3 additions and 0 deletions
--- a/Systems/notes/11
+++ b/Systems/notes/11
@ -133,6 +133,9 @@ We shall usually omit tail occurrences of ‘.0’ and, for example, simply writ
 From the syntax to the LTS We have shown how it is possible, starting from an LTS, to generate a corresponding process

 It is also possible the inverse translation and then the two formalisms do coincide; the rules that have to be used in this translation are:
+
+$$\forall_{}$$
+
 ![](images/Pasted%20image%2020250414093017.png)
 #### Examples
 ![](images/Pasted%20image%2020250414152221.png)