PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ciompi P., Simoncini L. Equivalenza e similitudine di sistemi costruiti da macchine sequenziali interconnesse. Internal note IEI-B73-03, 1973.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
Un sistema digitale è costituito generalmente da un collegamento di due 0 più macchine sequenziali. Nella letteratura [1], [2] viene trattato specificamente il problema dell'equivalenza fra microprogrammi implementati da macchine sequenziali di modelli diversi in una struttura di sistema digitale formata dal collegamento di due macchine, l'una detta "parte controllo” e l’altra detta "parte operativa". In tali lavori viene mostrato come la scelta dei modelli delle macchine che compongono il collegamento, influenzi sia la velocità di calcolo, sia la complessità delle reti, sia la temporizzazione del sistema. Nel nostro lavoro ci proponiamo di trattare in maniera generale il problema dell'equivalenza fra collegamenti di macchine sequenziali a stati finiti, in modo da avere una visione completa e teorica del problema, e di essere in grado poi di utilizzare i risultati ottenuti a tutti quei problemi che sono schematizzabili come connessioni di macchine astratte. Nel primo capitolo verranno richiamati alcune definizioni e teoremi sulle macchine sequenziali a stati finiti. Nel secondo capitolo verranno ricavate le condizioni per le quali sono soddisfatte le relazioni di equivalenza e similitudine fra connessioni seriali di macchine sequenziali ottenute con trasformazioni di equivalenza e similitudine sulle macchine componenti. Nel terzo capitolo verranno ricavate le condizioni per le quali sono soddisfatte le relazioni di equivalenza e similitudine fra macchine chiuse autonome ottenute con trasformazioni di equivalenza e similitudine sulle macchine componenti. Nel quarto capitolo verranno ricavate le condizioni per le quali sono soddisfatte le relazioni di equivalenza e similitudine fra reti di macchine ottenute per sostituzione delle macchine componenti con macchine di modello diverso.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional