From 52b7bd7b8a41a28ac58d026cdf6faa28506641eb Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sun, 9 Dec 2018 09:50:03 +0100
Subject: [PATCH] improved the fsm help

---
 src/main/resources/lang/lang_de.xml | 9 +++++++++
 src/main/resources/lang/lang_en.xml | 8 ++++++++
 2 files changed, 17 insertions(+)

diff --git a/src/main/resources/lang/lang_de.xml b/src/main/resources/lang/lang_de.xml
index eacb7f2d6..82e51fc66 100644
--- a/src/main/resources/lang/lang_de.xml
+++ b/src/main/resources/lang/lang_de.xml
@@ -1825,5 +1825,14 @@ Daher steht auch das Signal 'D_out' zur Verfügung, um in diesem Fall den Wert z
     <dd>Die Layouthilfe bewegt sowohl die Zustände als auch die Übergänge um bei der Erzeugung eines
     ausgewogenen Layouts zu unterstützen.</dd>
   </dl>
+  <h3>Interpretation der Übergänge</h3>
+  Um die Erzeugung eines deterministischen Automaten zu erleichtern, werden unbedingte Übergänge auf
+  besondere Weise behandelt: Ein unbedingter Übergang wird nur ausgeführt, wenn bei keinem anderen
+  Übergang die Übergangsbedingung erfüllt ist. Es kann also einen unbedingten Übergang und bedingte
+  Übergänge geben, die vom selben Zustand ausgehen.<br/>
+  Ein unbedinger übergang legt damit fest, welcher Zustand angesprungen wird, wenn keine andere
+  Übergangsbedingung erfüllt ist.
+  Gibt es aus einem Zustand keinen unbedingten Übergang, bleibt der Automat in diesem Zustand, wenn keine
+  andere Übergangsbedingung erfüllt ist.
 </body></html>]]></string>
 </resources>
diff --git a/src/main/resources/lang/lang_en.xml b/src/main/resources/lang/lang_en.xml
index 96a06425a..7dbe1e89d 100644
--- a/src/main/resources/lang/lang_en.xml
+++ b/src/main/resources/lang/lang_en.xml
@@ -1802,6 +1802,14 @@ Therefore, the signal 'D_out' is also available to check the value in this case.
     <dt>Transitions+States</dt>
     <dd>The layout help function moves both states and transitions to help create a well-balanced layout.</dd>
   </dl>
+  <h3>Interpretation of Transitions</h3>
+  To simplify the generation of a deterministic automata, unconditional transitions are treated in a special way:
+  an unconditional transition is only executed if no other transition satisfies the transition condition.
+  So there can be an unconditional transition and conditional transitions that start in the same state.
+  An unconditional transition thus determines to which state the state machine is shifted if no other transition
+  condition is met.
+  If there is no unconditional transition from a state, the state machine will stay in this state if no other
+  transition condition is met.
 </body></html>]]></string>
 
 </resources>
\ No newline at end of file