From a9d4767dc714d52add708c1017bcadf09703ea6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Tr=C3=A1vn=C3=AD=C4=8Dek?= <jan.travnicek@fit.cvut.cz>
Date: Mon, 10 Jan 2022 10:03:51 +0100
Subject: [PATCH] data: fix documentation of some automata classes

---
 alib2data/src/automaton/PDA/DPDA.h                            | 2 +-
 alib2data/src/automaton/PDA/InputDrivenDPDA.h                 | 2 +-
 alib2data/src/automaton/PDA/InputDrivenNPDA.h                 | 2 +-
 alib2data/src/automaton/PDA/NPDA.h                            | 2 +-
 alib2data/src/automaton/PDA/NPDTA.h                           | 2 +-
 alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h | 2 +-
 alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h | 2 +-
 alib2data/src/automaton/PDA/SinglePopDPDA.h                   | 2 +-
 alib2data/src/automaton/PDA/SinglePopNPDA.h                   | 2 +-
 alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h             | 2 +-
 alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h             | 2 +-
 alib2data/src/automaton/TA/EpsilonNFTA.h                      | 2 +-
 alib2data/src/automaton/TA/NFTA.h                             | 2 +-
 alib2data/src/automaton/TA/UnorderedNFTA.h                    | 2 +-
 14 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/alib2data/src/automaton/PDA/DPDA.h b/alib2data/src/automaton/PDA/DPDA.h
index fe3d46ff62..76029dfddc 100644
--- a/alib2data/src/automaton/PDA/DPDA.h
+++ b/alib2data/src/automaton/PDA/DPDA.h
@@ -54,7 +54,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol,
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a \times \alpha -> B \times \beta, where A, B \in Q, a \in T \cup { \eps }, and \alpha, \beta \in G*,
diff --git a/alib2data/src/automaton/PDA/InputDrivenDPDA.h b/alib2data/src/automaton/PDA/InputDrivenDPDA.h
index 21e27b3dc1..443d7b5d19 100644
--- a/alib2data/src/automaton/PDA/InputDrivenDPDA.h
+++ b/alib2data/src/automaton/PDA/InputDrivenDPDA.h
@@ -56,7 +56,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, \zeta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol,
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a -> B, where A, B \in Q and a \in T,
diff --git a/alib2data/src/automaton/PDA/InputDrivenNPDA.h b/alib2data/src/automaton/PDA/InputDrivenNPDA.h
index 1779edba8c..7991f9d9a4 100644
--- a/alib2data/src/automaton/PDA/InputDrivenNPDA.h
+++ b/alib2data/src/automaton/PDA/InputDrivenNPDA.h
@@ -56,7 +56,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, \zeta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to NFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol,
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a -> P(Q), where A \in Q, a \in T, and P(Q) is a powerset of states,
diff --git a/alib2data/src/automaton/PDA/NPDA.h b/alib2data/src/automaton/PDA/NPDA.h
index f029d6ee13..a17be011e7 100644
--- a/alib2data/src/automaton/PDA/NPDA.h
+++ b/alib2data/src/automaton/PDA/NPDA.h
@@ -55,7 +55,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol,
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a \times \alpha -> B \times \beta, where A, B \in Q, a \in T \cup { \eps }, and \alpha, \beta \in G*,
diff --git a/alib2data/src/automaton/PDA/NPDTA.h b/alib2data/src/automaton/PDA/NPDTA.h
index e20f800e74..bd8deff0a6 100644
--- a/alib2data/src/automaton/PDA/NPDTA.h
+++ b/alib2data/src/automaton/PDA/NPDTA.h
@@ -55,7 +55,7 @@ class InitialState;
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
  * T (OutputAlphabet) = finite set of output symbols - having this empty won't let automaton do translation at all,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol,
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a \times \alpha -> B \times \beta \times \gamma, where A, B \in Q, a \in T \cup { \eps }, \alpha, \beta \in G*, and \gamma \in D*,
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
index 889657e505..f0f63ffb75 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
@@ -54,7 +54,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol
  * I (InitialState) = initial state,
  * Z (BottomOfTheStackSymbol) = initial pushdown store symbol
  * \delta is split to three disjoint parts
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
index 02c4a491c3..5bbef5aa09 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
@@ -54,7 +54,7 @@ class InitialStates;
  * A = (Q, T, G, I, Z, \delta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol
  * I (InitialState) = initial state,
  * Z (BottomOfTheStackSymbol) = initial pushdown store symbol
  * \delta is split to three disjoint parts
diff --git a/alib2data/src/automaton/PDA/SinglePopDPDA.h b/alib2data/src/automaton/PDA/SinglePopDPDA.h
index 005b468efc..d7eeed4869 100644
--- a/alib2data/src/automaton/PDA/SinglePopDPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopDPDA.h
@@ -55,7 +55,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a \times g -> B \times \beta, where A, B \in Q, a \in T \cup { \eps }, g \in G, and \beta \in G*,
diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.h b/alib2data/src/automaton/PDA/SinglePopNPDA.h
index 7d110f20dc..c5e91897b7 100644
--- a/alib2data/src/automaton/PDA/SinglePopNPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopNPDA.h
@@ -53,7 +53,7 @@ class InitialState;
  * A = (Q, T, G, I, Z, \delta, F),
  * Q (States) = nonempty finite set of states,
  * T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though,
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol
  * I (InitialState) = initial state,
  * Z (InitialPushdownStoreSymbol) = initial pushdown store symbol
  * \delta = transition function of the form A \times a \times g -> B \times \beta, where A, B \in Q, a \in T \cup { \eps }, g \in G, and \beta \in G*,
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
index 28a1360969..f13ebcf6c9 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
@@ -59,7 +59,7 @@ class InitialState;
  *   - C (CallAlphabet) = symbols used with transitions increasing the pushdown store,
  *   - R (ReturnAlphabet) = symbols used with transitions decreasing the pushdown store,
  *   - L (LocalAlphabet) = symbols used with transitions leaving the height of the pushdown store unchanged
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol
  * I (InitialState) = initial state,
  * Z (BottomOfTheStackSymbol) = initial pushdown store symbol
  * \delta is split to three disjoint parts
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
index 1fa9524673..3f2caf7b34 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
@@ -59,7 +59,7 @@ class InitialStates;
  *   - C (CallAlphabet) = symbols used with transitions increasing the pushdown store,
  *   - R (ReturnAlphabet) = symbols used with transitions decreasing the pushdown store,
  *   - L (LocalAlphabet) = symbols used with transitions leaving the height of the pushdown store unchanged
- * G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA
+ * G (PushdownStoreAlphabet) = finite set of pushdown store symbol
  * I (InitialStates) = set of initial states,
  * Z (BottomOfTheStackSymbol) = initial pushdown store symbol
  * \delta is split to three disjoint parts
diff --git a/alib2data/src/automaton/TA/EpsilonNFTA.h b/alib2data/src/automaton/TA/EpsilonNFTA.h
index 7eb4e5606b..96461f4616 100644
--- a/alib2data/src/automaton/TA/EpsilonNFTA.h
+++ b/alib2data/src/automaton/TA/EpsilonNFTA.h
@@ -494,7 +494,7 @@ template < class T >
 class isEpsilonNFTA_impl : public std::false_type {};
 
 /**
- * Trait to detect whether the type parameter T is or is not DFA. Derived from std::true_type.
+ * Trait to detect whether the type parameter T is or is not EpsilonNFTA. Derived from std::true_type.
  *
  * Specialisation for EpsilonNFTA.
  *
diff --git a/alib2data/src/automaton/TA/NFTA.h b/alib2data/src/automaton/TA/NFTA.h
index d10c1f5ccf..0889d259d9 100644
--- a/alib2data/src/automaton/TA/NFTA.h
+++ b/alib2data/src/automaton/TA/NFTA.h
@@ -385,7 +385,7 @@ template < class T >
 class isNFTA_impl : public std::false_type {};
 
 /**
- * Trait to detect whether the type parameter T is or is not DFA. Derived from std::true_type.
+ * Trait to detect whether the type parameter T is or is not NFTA. Derived from std::true_type.
  *
  * Specialisation for NFTA.
  *
diff --git a/alib2data/src/automaton/TA/UnorderedNFTA.h b/alib2data/src/automaton/TA/UnorderedNFTA.h
index 003d1d3fcb..0f3a8a197b 100644
--- a/alib2data/src/automaton/TA/UnorderedNFTA.h
+++ b/alib2data/src/automaton/TA/UnorderedNFTA.h
@@ -385,7 +385,7 @@ template < class T >
 class isUnorderedNFTA_impl : public std::false_type {};
 
 /**
- * Trait to detect whether the type parameter T is or is not DFA. Derived from std::true_type.
+ * Trait to detect whether the type parameter T is or is not UnorderedNFTA. Derived from std::true_type.
  *
  * Specialisation for UnorderedNFTA.
  *
-- 
GitLab