SED logici
Cos'è un SED logico
Un sistema a eventi discreti logico è un sistema SED con un modello logico (MED logico).
Si basa su una sequenza di eventi senza considerare il tempo in cui accadono.
Posso rappresentare un SED logico tramite automi e reti di Petri.
Come funziona un SED logico
In un SED logico la sequenza delle occorrenze è anche detta traiettoria ed è una stringa di eventi.
$$ e_1, e_2, e_3, ... $$
Se associo una lettera diversa dell'alfabeto a ciascun evento ammissibile, la traiettoria si trasforma in una parola che contraddistingue in modo univoco la sequenza degli eventi.
Ogni parola descrive l'evoluzione del sistema.
Il linguaggio è l'insieme di tutte le parole, ossia l'insieme delle possibili evoluzioni del sistema.
Un esempio pratico
Il lancio di una moneta implica due eventi ammissibili: testa (T ) e croce (C).
Quindi, le possibili traiettorie in due lanci consecutivi sono:
$$ TT \\ TC \\ CC \\ CT $$
Ogni stringa è una parola che contraddistingue la sequenza.
L'insieme di tutte le parole determina il linguaggio del sistema:
$$ linguaggio = \{ TT, TC, CC, CT \} $$
Nota. C'è anche una piccolissima possibilità che la moneta resti in piedi ma non la considero ammissibile per il sistema SED.
Ovviamente, se i lancio fossero di più le parole sarebbero composte da più lettere.
$$ TCTTC \\ CTTCT \\ \vdots $$
Se ci fossero più lettere il linguaggio diventerebbe più complesso.
$$ ABACED \\ BACC \\ DAECAB \\ \vdots $$
Il modello del SED logico
Il modello del SED logico è un formalismo che descrive il linguaggio che rappresenta il comportamento del sistema.
Tipi di modelli usati nei SED logici
Esistono tre tipologie di modelli
- Automi finiti deterministici
- Automi finiti non deterministici
- Espressioni regolari
Nota. Una stessa classe di sistemi puà essere rappresentata da modelli differenti. In tale caso, i modelli sono detti sistemi equivalenti.
E così via.