Update programs

VeriFIT · Oct 18, 2023 · c2bfd19 · c2bfd19
1 parent 29519c0
commit c2bfd19
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
diff --git a/programs/bool_comb_intersect_union.emp b/programs/bool_comb_intersect_union.emp
@@ -0,0 +1,3 @@
+load_automata
+aut0 = (unionall)
+is_empty aut0
diff --git a/programs/bool_comb_union.emp b/programs/bool_comb_union.emp
@@ -0,0 +1,4 @@
+load_automaton aut1
+load_automaton aut2
+aut3 = (union aut1 aut2)
+is_empty aut3
diff --git a/programs/concat.emp b/programs/concat.emp
@@ -0,0 +1,12 @@
+load_automaton aut1
+aut3 = (concat aut1 aut1)
+aut4 = (concat aut3 aut3)
+aut5 = (concat aut4 aut4)
+aut6 = (concat aut5 aut5)
+aut7 = (concat aut6 aut6)
+aut8 = (concat aut7 aut7)
+aut9 = (concat aut8 aut8)
+aut10 = (concat aut9 aut9)
+aut11 = (concat aut10 aut10)
+aut12 = (concat aut11 aut11)
+is_empty aut12