From 8079845fdbe1a79faf7e1139e33bf9284678888c Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sat, 14 Feb 2015 21:54:16 +0100
Subject: [PATCH] commit developer notes

---
 DEVELOPER_NOTES | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 DEVELOPER_NOTES

diff --git a/DEVELOPER_NOTES b/DEVELOPER_NOTES
new file mode 100644
index 0000000000..746bc65e80
--- /dev/null
+++ b/DEVELOPER_NOTES
@@ -0,0 +1,2 @@
+the top of the pushdown store:
+  the top of the pushdown store is on the left meaning that transition function (r, xyz) \in (q, 0, abc) will pop symbol a first than symbol b and then symbol c, push symbol z then symbol y and finally symbol x. The typical representation is a vector of symbols so for the pop part forward iterators begin and end should be used and for the push part reversed iterators rbegin and rend should be used. This is very much similar to grammars where context free grammars generating a string or a sentential from a rules say A -> aBb| c product a^ncb^n. First b is pushed then B and finally a.
-- 
GitLab