Un automa è un dispositivo che riproduce autonomamente una sequenza di azioni predeterminate senza l'intervento umano; il sistema fa sempre la stessa cosa.
Il PLC è un oggetto programmato.
In automazione, il termine è riservato ai dispositivi elettromeccanici che controllano il sistema. Controlla il registro di uscita (controllo attuatore) in base al registro di ingresso (stato dei segnali inviati dai sensori) e il passo di programma corrente.
Nel campo della meccanica , chiamiamo automa un dispositivo che esegue una determinata sequenza di operazioni in sequenza utilizzando solo tecnologie meccaniche. In precedenza, la professione di automa consisteva nella progettazione e produzione di robot, ed è cresciuta in modo significativo con il progresso dell'orologeria .
La programmazione viene effettuata da vari dispositivi: nastri perforati, schede perforate, rullini, alberi a camme, ecc. La lettura e la trasmissione delle informazioni è assicurata da sistemi meccanici e fisici, alcuni dei quali noti fin dall'antichità: leve, pulegge, cinghie, ingranaggi, compressione/espansione del gas, meccanica dei fluidi.
Questo termine designa anche una macchina che riproduce il movimento e gli atteggiamenti di un essere vivente (vedi Vaucanson , Jacquet-Droz ).
Nel campo dell'informatica , una macchina per l'elaborazione delle informazioni è chiamata automa . A differenza della nozione di funzione continua, questa informazione è di natura discreta: numeri interi, ad esempio 0 o 1, caratteri “a, b, c…” Un automa è caratterizzato da:
Esempi:
I campi di applicazione della nozione di automa sono immense: matematica discreta , informatica teorica , così come la teoria di compilazione e di calcolo parallelo , sistemi complessi ( automi cellulari e la teoria di auto-organizzazione e di emergenza), etc.
La nozione di automa è emersa dalle esigenze di programmazione relative all'analisi sintattica : ha permesso di sostituire con dati - facilmente modificabili - e un unico programma di instradamento che avrebbe richiesto un programma molto più complesso e soprattutto molto più delicato. essere mantenuto successivamente (questo principio fu in seguito quello dei sistemi esperti ). Il metalinguaggio di Backus rende più rigorosa l'espressione degli automi e facilita il loro sviluppo attraverso programmi come Lex e Yacc .
Ha anche dato origine a diversi lavori teorici che non hanno sempre avuto un evidente impatto pratico (richiedendo l'ipotesi di una memoria infinita, per esempio).
Gli automi cellulari sono un sottoinsieme di automi finiti , che sono stati studiati in matematica e informatica teorica come sistemi dinamici modello evolutivo e come modello computazionale . Queste sono griglie di celle con 1 o 2 dimensioni (a volte di più); ogni cella è caratterizzata da uno stato, generalmente binario: 0/1, bianco/nero, occupato/non occupato…. Le griglie cambiano per passo temporale: lo stato di ogni cella viene calcolato al tempo ( t + 1 ) secondo una regola di vicinato : il suo stato e quello dei suoi vicini al passo ( t ).
Gli automi cellulari - nonostante la semplicità delle loro regole di calcolo - hanno un comportamento universale: secondo regole di vicinato, evolvono verso le diverse classi di attrattori della dinamica dei sistemi , ed in particolare gli attrattori strani, firme dei sistemi caotici . Sono quindi strumenti teorici della scienza della complessità ; alcuni hanno le proprietà della macchina di Turing universale ; altri la capacità di autoreplicarsi .
Nel linguaggio comune, una persona è colloquialmente chiamata automa che agisce meccanicamente, inconsciamente (sonnambulo) o sotto l'impulso di una volontà esterna. Una canzone del cyberpunk musicale di Michel Berger è denominata la "cameriera robotica".
Il termine può anche riferirsi a un robot .
"Io non sono (quello) un robot" , girato nel 2014-2015 a Ste-Croix (Svizzera) nello studio di François Junod.
Distributore automatico di bevande
Juke-Box americano
Distributore di esche da pesca
Il suonatore di timpano in Francia
Bancomat a Strasburgo
Meccanismo carillon
Uccello canoro in gabbia