From b26f966a6ba9f753d4bec8094b7d1bd5f7d0838e Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Tue, 15 Mar 2022 03:17:35 +0100
Subject: Regex update

---
 results | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 results

(limited to 'results')

diff --git a/results b/results
new file mode 100644
index 0000000..b68d8c4
--- /dev/null
+++ b/results
@@ -0,0 +1,2 @@
+(* Regex for language with no words conatining "baba" as a substring: *)
+ε+a+(ε+a)(a*)+((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(a+(a)(a*)))+(((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))(((((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))*)(((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(a+(a)(a*)))))+b+(ε+a)((a*)(b))+(b+(ε+a)((a*)(b)))(b*)+((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)((a)((a*)(b))+((a)((a*)(b)))(b*)))+(((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))(((((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))*)(b+(b)(b*)+((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)((a)((a*)(b))+((a)((a*)(b)))(b*)))))+(b+(ε+a)((a*)(b)))((b*)(a))+((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(ε+((a)((a*)(b)))((b*)(a))))+(((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))(((((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))*)((b)((b*)(a))+((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(ε+((a)((a*)(b)))((b*)(a))))))+((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b))+(((b+(ε+a)((a*)(b)))((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))(((((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b)))*)(ε+((b)((b*)(a)))(((((a)((a*)(b)))((b*)(a)))*)(b))))
-- 
cgit v1.2.3