diff --git a/examples2/regexp/formal-aag.oppa.4.13.xml b/examples2/regexp/formal-aag.oppa.4.13.xml new file mode 100644 index 0000000000000000000000000000000000000000..a8c8c362559641b7760c688ceeb1d087774ea758 --- /dev/null +++ b/examples2/regexp/formal-aag.oppa.4.13.xml @@ -0,0 +1,38 @@ +<formalRegexp> + <alphabet> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </alphabet> + <alternation> + <concatenation> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <concatenation> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> + </concatenation> + <alternation> + <concatenation> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <concatenation> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </concatenation> + </concatenation> + <alternation> + <concatenation> + <iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </concatenation> + <concatenation> + <iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> + </alternation> + </alternation> + </alternation> +</formalRegexp> diff --git a/examples2/regexp/formal-aag.oppa.4.14.xml b/examples2/regexp/formal-aag.oppa.4.14.xml new file mode 100644 index 0000000000000000000000000000000000000000..8687b3508958f659ffdf200da6ec5436c32f195c --- /dev/null +++ b/examples2/regexp/formal-aag.oppa.4.14.xml @@ -0,0 +1,23 @@ +<unboundedRegexp> + <alphabet> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </alphabet> + <iteration> + <alternation> + <concatenation> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> + <concatenation> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </iteration> + </concatenation> + </alternation> + </iteration> +</unboundedRegexp> diff --git a/examples2/regexp/unbounded-aag.oppa.4.13.xml b/examples2/regexp/unbounded-aag.oppa.4.13.xml new file mode 100644 index 0000000000000000000000000000000000000000..8aca563ef7e231357f1b27fa846eebabe06f71aa --- /dev/null +++ b/examples2/regexp/unbounded-aag.oppa.4.13.xml @@ -0,0 +1,30 @@ +<unboundedRegexp> + <alphabet> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </alphabet> + <alternation> + <concatenation> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> + <concatenation> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </concatenation> + <concatenation> + <iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </concatenation> + <concatenation> + <iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> + </alternation> +</unboundedRegexp> diff --git a/examples2/regexp/unbounded-aag.oppa.4.14.xml b/examples2/regexp/unbounded-aag.oppa.4.14.xml new file mode 100644 index 0000000000000000000000000000000000000000..8687b3508958f659ffdf200da6ec5436c32f195c --- /dev/null +++ b/examples2/regexp/unbounded-aag.oppa.4.14.xml @@ -0,0 +1,23 @@ +<unboundedRegexp> + <alphabet> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </alphabet> + <iteration> + <alternation> + <concatenation> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> + <concatenation> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </iteration> + </concatenation> + </alternation> + </iteration> +</unboundedRegexp> diff --git a/examples2/regexp/unbounded-aag.oppa.4.15.xml b/examples2/regexp/unbounded-aag.oppa.4.15.xml new file mode 100644 index 0000000000000000000000000000000000000000..eb3ca9612827adb2cae109432c39eb3337607656 --- /dev/null +++ b/examples2/regexp/unbounded-aag.oppa.4.15.xml @@ -0,0 +1,16 @@ +<unboundedRegexp> + <alphabet> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </alphabet> + <concatenation> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + <iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </iteration> + <iteration> + <LabeledSymbol><IntegerLabel>1</IntegerLabel></LabeledSymbol> + </iteration> + <LabeledSymbol><IntegerLabel>0</IntegerLabel></LabeledSymbol> + </concatenation> +</unboundedRegexp>