APPLICAZIONE: l'archivio di una finanziaria
All'interno della base di dati di un istituto parabancario figura un archivio relativo alle operazioni di leasing finanziario effettuate dalla filiale ligure, che possiede operatività regionale. 
Ogni registrazione di tale archivio concerne una singola operazione. Tra i campi relativi ad una registrazione, sono di interesse i tre seguenti, che non sono campi chiave (sotto ciascuno di essi sono codificati i corrispondenti attributi):

Natura dell'operazione:

  1. immobili civili
  2. immobili industriali
  3. impianti
  4. veicoli
Forma del contratto:
  1. leasing diretto
  2. sale and leasback
Ubicazione della controparte (provincia):
  1. Genova
  2. Savona
  3. Imperia
  4. La Spezia

Si descriva l'algoritmo di interrogazione dell'archivio nel caso in cui si desideri estrarre tutte le registrazioni relative a:
 

(a) immobili civili in Genova;
(b) veicoli in leasing diretto targati Imperia;
(c) operazioni sale and leaseback effettuate a La Spezia.

A tal fine si faccia uso di un automa di Mealy, che, esaminando sequenzialmente i tre campi di ogni registrazione, segnali in uscita:

  1. quando l'esame della registrazione è in corso o la registrazione non è di interesse o la registrazione contiene dati errati;
  2. quando la registrazione è di interesse.
soluzione