From bd4b74703d2f503089bc5075a3cdade2d0e43dac Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 17 Feb 2018 21:26:11 +0000
Subject: [PATCH] Working on the parser for CA

---
 rsin_parser.yy | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/rsin_parser.yy b/rsin_parser.yy
index 4e65aec..6fbfa41 100644
--- a/rsin_parser.yy
+++ b/rsin_parser.yy
@@ -78,6 +78,7 @@ system:
     | REACTIONS LCB reactions RCB system
     | INITIALCONTEXTS LCB initstates RCB system
     | CONTEXTENTITIES LCB actionentities RCB system
+	| CONTEXTAUTOMATON LCB ctxaut RCB system
     | RSCTLFORM LCB rsctl_form RCB system {
         driver.addFormRSCTL($3);
     }
@@ -170,6 +171,24 @@ actentity: IDENTIFIER {
         free($1);
     }
     ;
+	
+/*******************************************/
+
+ctxaut:
+	| STATES LCB autstates RCB ctxaut
+	| TRANSITIONS LCB auttrans RCB ctxaut
+	;
+
+autstate: IDENTIFIER {
+	}
+
+autstates:
+	| autstate
+	| autstate COMMA autstates
+	;
+	
+auttrans:
+	;	
 
 /* formulae */