From b392edb257f310df1bbc3b3686952ccc7a9d3a48 Mon Sep 17 00:00:00 2001 From: Tomas Pecka <peckato1@fit.cvut.cz> Date: Mon, 21 Mar 2016 11:29:56 +0100 Subject: [PATCH] Examples: Two NPDAs for which the determinization takes too long time --- examples2/automaton/NPDA3.xml | 136 +++++++++++++++++++++++++++++++++ examples2/automaton/NPDA4.xml | 137 ++++++++++++++++++++++++++++++++++ 2 files changed, 273 insertions(+) create mode 100644 examples2/automaton/NPDA3.xml create mode 100644 examples2/automaton/NPDA4.xml diff --git a/examples2/automaton/NPDA3.xml b/examples2/automaton/NPDA3.xml new file mode 100644 index 0000000000..803d3dde14 --- /dev/null +++ b/examples2/automaton/NPDA3.xml @@ -0,0 +1,136 @@ +<?xml version="1.0"?> +<NPDA> + <states> + <PrimitiveLabel><String>q</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <stackAlphabet> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </stackAlphabet> + <initialState> + <PrimitiveLabel><String>q</String></PrimitiveLabel> + </initialState> + <initialStackSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </initialStackSymbol> + <finalStates> + <PrimitiveLabel><String>f</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + + + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + + + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + </push> + </transition> + </transitions> +</NPDA> diff --git a/examples2/automaton/NPDA4.xml b/examples2/automaton/NPDA4.xml new file mode 100644 index 0000000000..d3c28a81b0 --- /dev/null +++ b/examples2/automaton/NPDA4.xml @@ -0,0 +1,137 @@ +<?xml version="1.0"?> +<NPDA> + <states> + <PrimitiveLabel><String>q</String></PrimitiveLabel> + <PrimitiveLabel><String>f</String></PrimitiveLabel> + </states> + <inputAlphabet> + <LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol> + </inputAlphabet> + <stackAlphabet> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </stackAlphabet> + <initialState> + <PrimitiveLabel><String>q</String></PrimitiveLabel> + </initialState> + <initialStackSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </initialStackSymbol> + <finalStates> + <PrimitiveLabel><String>f</String></PrimitiveLabel> + </finalStates> + <transitions> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + + + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>a2</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + + + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>b0_3</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>b0</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + </pop> + <to><PrimitiveLabel><String>q</String></PrimitiveLabel></to> + <push> + <LabeledSymbol><PrimitiveLabel><String>b0_4</String></PrimitiveLabel></LabeledSymbol> + </push> + </transition> + + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_1</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>f</String></PrimitiveLabel></to> + <push> + </push> + </transition> + <transition> + <from><PrimitiveLabel><String>q</String></PrimitiveLabel></from> + <input><LabeledSymbol><PrimitiveLabel><String>EOF</String></PrimitiveLabel></LabeledSymbol></input> + <pop> + <LabeledSymbol><PrimitiveLabel><String>a2_2</String></PrimitiveLabel></LabeledSymbol> + <LabeledSymbol><PrimitiveLabel><String>Z0</String></PrimitiveLabel></LabeledSymbol> + </pop> + <to><PrimitiveLabel><String>f</String></PrimitiveLabel></to> + <push> + </push> + </transition> + </transitions> +</NPDA> -- GitLab