Skip to content
Snippets Groups Projects
Commit f9d172f2 authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

Examples: RegExps

parent 714759f5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
examples2/regexp/formal-aag.oppa.4.13.xml 0 → 100644
+ 38
− 0
View file @ f9d172f2
<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>
examples2/regexp/formal-aag.oppa.4.14.xml 0 → 100644
+ 23
− 0
View file @ f9d172f2
<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>
examples2/regexp/unbounded-aag.oppa.4.13.xml 0 → 100644
+ 30
− 0
View file @ f9d172f2
<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>
examples2/regexp/unbounded-aag.oppa.4.14.xml 0 → 100644
+ 23
− 0
View file @ f9d172f2
<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>
examples2/regexp/unbounded-aag.oppa.4.15.xml 0 → 100644
+ 16
− 0
View file @ f9d172f2
<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>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment