Indice
5 relazioni: Automa a stati finiti, Egon Börger, Informatica, Macchina di Turing, Specifica tecnica.
Automa a stati finiti
Un automa a stati finiti (ASF o FSA, dall'inglese finite state automaton, al plurale: f. s. automata) o macchina a stati finiti (FSM, dall'inglese finite state machine) è un modello matematico di calcolo: è un tipo di automa che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi.
Vedere Abstract state machine e Automa a stati finiti
Egon Börger
Ha studiato alla Sorbona di Parigi (Francia), all'Università di Lovanio e all'Istituto Superiore di Filosofia di Lovanio (Belgio), all'Università di Münster (Germania) dal 1965 al 1971.
Vedere Abstract state machine e Egon Börger
Informatica
Linformatica è la scienza o disciplina che si occupa del trattamento dell'informazione mediante procedure automatizzate, avendo in particolare per oggetto lo studio dei fondamenti teorici dell'informazione, della sua computazione a livello logico e delle tecniche pratiche per la sua implementazione e applicazione in sistemi elettronici automatizzati detti quindi sistemi informatici; come tale è una disciplina fortemente connessa con la logica matematica, l'automatica, l'elettronica e anche l'elettromeccanica.
Vedere Abstract state machine e Informatica
Macchina di Turing
In informatica, una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.
Vedere Abstract state machine e Macchina di Turing
Specifica tecnica
La specifica tecnica, in ingegneria, è un documento che correda disegni, schemi e altro relativi ad un prodotto o progetto, al fine di prescriverne una specifica funzionalità o un determinato impiego o livelli prestazionali determinati.