From a80f485d9ac8ee2fc282b2da44f0b220606c9c77 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 8 Apr 2025 09:26:02 +0200 Subject: [PATCH] vault backup: 2025-04-08 09:26:02 --- Concurrent Systems/notes/11 - non so cosa faremo oggi.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/11 - non so cosa faremo oggi.md b/Concurrent Systems/notes/11 - non so cosa faremo oggi.md index fdf4663..ccc887f 100644 --- a/Concurrent Systems/notes/11 - non so cosa faremo oggi.md +++ b/Concurrent Systems/notes/11 - non so cosa faremo oggi.md @@ -14,5 +14,7 @@ Automata Behaviour: language equivalence ![](../../Pasted%20image%2020250408091924.png) By considering the starting states as also final, they both generate the same language, i.e.: - (20.(tea + 20.coffee))∗ = (20.tea + 20.20.coffee)∗ +$$(20.(tea + 20.coffee))∗ = (20.tea + 20.20.coffee)∗$$ + +But, do they behave the same from the point of view of an external observer??