From 780904adea74707814827635e863b6cbc7b69074 Mon Sep 17 00:00:00 2001
From: Tomas Pecka <peckato1@fit.cvut.cz>
Date: Mon, 19 Sep 2022 14:41:12 +0200
Subject: [PATCH] wip
---
alib2algo/src/automaton/transform/ZAToPDA.h | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/alib2algo/src/automaton/transform/ZAToPDA.h b/alib2algo/src/automaton/transform/ZAToPDA.h
index 501ebff142..dcd33067db 100644
--- a/alib2algo/src/automaton/transform/ZAToPDA.h
+++ b/alib2algo/src/automaton/transform/ZAToPDA.h
@@ -55,16 +55,17 @@ automaton::NPDA<SymbolType, StateType, char> ZAToPDA::convert(const automaton::A
for (const auto& transition : zautomaton.getTransitions()) {
if (transition.first.template is<ext::pair<StateType, StateType>>()) {
const auto& trf = transition.first.template get<ext::pair<StateType, StateType>>();
- res.addTransition('q', bar, {trf.first, trf.second}, 'q', {transition.second});
+ res.addTransition('q', bar, {trf.second, trf.first /* top is on the left */}, 'q', {transition.second});
} else {
res.addTransition('q', transition.first.template get<SymbolType>(), {}, 'q', {transition.second});
}
}
- res.addTransition('r', {}, 'q', {});
+ /* res.addTransition('r', {}, 'q', {}); */
for (const auto& finalState : zautomaton.getFinalStates()) {
- res.addTransition('q', bar, {finalState, bots}, 'r', {});
+ res.addTransition('q', bar, {finalState}, 'r', {});
}
+ res.addTransition('r', {bots}, 'r', {});
return res;
}
--
GitLab