SECONDA PARTE: RETI SEQUENZIALI
In una rete combinatoria, l’uscita, è in funzione solo degli ingressi applicati.
In una rete sequenziale, invece, l’uscita è in funzione, oltre che dell’ingresso, anche dello stato della rete. La
rete ha cioè “memoria” dello stato interno raggiunto per effetto degli ingressi precedentemente applicati.
MODELLO GENERALE DI UNA RETE SEQUENZIALE:
Variabili di:
ingresso: x1, x2, …, xn
uscita: z1, z2, …, zm
stato presente: y1, y2, …, yℓ
stato futuro: Y1, Y2, …, Yℓ
con xi , zi , yi , Yi definite su {0, 1} -
Una n-pla (x1, x2, …, xn) costituisce una configurazione di ingresso (o più semplicemente un ingresso)
L’insieme delle N = 2n configurazioni di ingresso rappresenta l’alfabeto di ingresso I = {I1, I2, …, IN}
(quindi 2 elevato al numero di x presenti in ingresso)
Ogni configurazione Ik, rappresenta un simbolo dell’alfabeto di ingresso.
In modo del tutto analogo si definiscono l’alfabeto di uscita e l’alfabeto di stato:
O = {O1, O2, …, OM } con M = 2m
S = {S1, S2, …, SL } con L = 2ℓ
dove Ok ed Sk rappresentano rispettivamente una configurazione di uscita e una configurazione di stato (o
più semplicemente un’uscita e uno stato del sistema).
Si definisce macchina sequenziale la quintupla:
M = (I, O, S, f, g)
dove I, O e S rappresentano rispettivamente gli alfabeti di ingresso, di uscita e di stato, mentre f e g sono due
funzioni così definite:
f: S x I → O (funzione di uscita o di trasferimento)
g: S x I → S (funzione di stato o di transizione)
Poiché l’alfabeto di stato è finito si parla anche di macchina o automa a stati finiti.
