From f9d172f2eb54db0239ce5304bdb52e2dc1a67736 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz> Date: Fri, 5 Sep 2014 16:45:13 +0200 Subject: [PATCH] Examples: RegExps --- examples2/regexp/formal-aag.oppa.4.13.xml | 38 ++++++++++++++++++++ examples2/regexp/formal-aag.oppa.4.14.xml | 23 ++++++++++++ examples2/regexp/unbounded-aag.oppa.4.13.xml | 30 ++++++++++++++++ examples2/regexp/unbounded-aag.oppa.4.14.xml | 23 ++++++++++++ examples2/regexp/unbounded-aag.oppa.4.15.xml | 16 +++++++++ 5 files changed, 130 insertions(+) create mode 100644 examples2/regexp/formal-aag.oppa.4.13.xml create mode 100644 examples2/regexp/formal-aag.oppa.4.14.xml create mode 100644 examples2/regexp/unbounded-aag.oppa.4.13.xml create mode 100644 examples2/regexp/unbounded-aag.oppa.4.14.xml create mode 100644 examples2/regexp/unbounded-aag.oppa.4.15.xml 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 0000000000..a8c8c36255 --- /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 0000000000..8687b35089 --- /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 0000000000..8aca563ef7 --- /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 0000000000..8687b35089 --- /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 0000000000..eb3ca96128 --- /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> -- GitLab