====== Trasduttore a stati finiti ====== {{::bulut.png?800|}} Σ = {ε, bulut, lu, suz, luk } (alfabeto di ingresso) Γ = {nom., sg., N(‘nuvola’), A(‘-oso’), suz A(ingl. ‘-less’), N(‘-ità’) } (alfabeto di uscita) S = {q0, q1, q2, q3, q4, q5, q6} I = q0 (stato iniziale) F = q3, q4, q5 (stati finali) δ = funzione di transizione che associa a ogni coppia formata da uno STATO e un INPUT una coppia formata da un OUTPUT(nel grafico l’elemento indicato dopo «/») e un NUOVO STATO [[fst-graph|]]