From 451ea9d08c5850cb51f206ea7416cc263c82b3b8 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 8 Apr 2025 09:16:02 +0200 Subject: [PATCH] vault backup: 2025-04-08 09:16:02 --- .../notes/11 - non so cosa faremo oggi.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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 e69de29..7e5547d 100644 --- a/Concurrent Systems/notes/11 - non so cosa faremo oggi.md +++ b/Concurrent Systems/notes/11 - non so cosa faremo oggi.md @@ -0,0 +1,13 @@ + +A (finite non-deterministic) automaton is a quintuple M = (Q,Act,q0,F,T), where: +- Q is the set of states +- Act is the set of actions +- q0 is the starting state +- F is the set of final states +- T is the transition relation (T ⊆ Q × Act × Q) + +Automata Behaviour: language equivalence + (where L(M) is the set of all the sequences of input characters that bring the automaton M from its starting state to a final one) + +>[!note] +>M1 and M2 are *language equivalent* if and only if L(M1)=L(M2) \ No newline at end of file