marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-08 09:26:02

Browse source
This commit is contained in:
Marco Realacci 2025-04-08 09:26:02 +02:00
parent 69568f719e
commit a80f485d9a
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Concurrent Systems/notes/11 - non so cosa faremo oggi.md
View file

@ -14,5 +14,7 @@ Automata Behaviour: language equivalence
![](../../Pasted%20image%2020250408091924.png) ![](../../Pasted%20image%2020250408091924.png)
By considering the starting states as also final, they both generate the same language, i.e.: 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??