Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un...

31
Automi Linguaggi e Procedure Gruppo Farina

Transcript of Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un...

Page 1: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

AutomiLinguaggi

e Procedure

Gruppo Farina

Page 2: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Che cos’è un AUTOMA?

Con il termine automa s’intende un qualunque dispositivo, un qualunque oggetto, che esegue da se stesso un particolare compito, sulla base degli stimoli od ordini ricevuti.

Esempi di automi sono quindi: una lavatrice, un distributore automatico di bibite, un interruttore, una calcolatrice tascabile,...

Page 3: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

La mia lavatrice

Interruttore per il passaggio della corrente elettrica

O spento

I acceso

Pulsanti di avvio/arresto della lavatrice e altri

Page 4: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

è possibile studiare un automa da due punti di vista: da un punto di vista tecnico ci

s’interessa dei suoi componenti materiali, meccanici o elettronici, e dei suoi principi

fisici che ne rendono possibile il funzionamento; da un punto di vista

matematico c'interessa invece la "logica" del suo comportamento e l’automa è perciò visto come un oggetto astratto "capace" di eseguire qualche compito.

Page 5: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Ad esempio, due automi capaci di eseguire un’addizione sono l’automa uomo e l’automa calcolatrice, molto diversi da un punto di vista tecnico-fisico, ma che si comportano nello

stesso modo di fronte a due numeri da addizionare.I grafi e le matrici sono due modi, equivalenti, di

rappresentare il comportamento di un automa.Il grafo, chiamato diagramma degli stati, ha come nodi gli stati

possibili dell’automa; gli archi rappresentano le relazioni di passaggio da uno stato all’altro, secondo il particolare

input.La matrice, chiamata tabella di verità, è una tabella in cui ogni

casella specifica qual è il successivo stato e l’output dell’automa se esso si trova in un determinato stato e

riceve un certo input.

Page 6: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Un distributore automatico di bevande dà una lattina quando s’inserisce una moneta da 1 euro.Quali sono gli input e gli output di quest'automa?Quali sono i possibili stati?Il diagrammi degli stati è il seguente:

M=moneta

SPENTO

IN ATTESA

PRONTO

M

•M/lattina

Page 7: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Nell’arco che va dallo stato di "in attesa" allo stato di "pronto" la scrittura "moneta/lattina" indica che, in corrispondenza dell’input "moneta" è fornito l’output "lattina". Come si vede, non sempre un automa fornisce un output.

La tabella di verità è la seguente:

•  

Input stati

SPENTO PRONTO IN ATTESA

Moneta SPENTO IN ATTESA PRONTO/lattina

Page 8: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Gli stati di un automa rappresentano i suoi stati di memoria; un automa, infatti, si trova in uno o in un altro stato secondo ciò che è successo in precedenza. Secondo lo stato in cui si trova e dell’input che riceve, l’automa stabilisce il suo comportamento,

passando in un nuovo stato ed eventualmente fornendo un output:

(stato, input) ® (nuovo stato, output).

Page 9: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Provo a… Studiare un semplice sistema costituito da una lampada

comandata da un interruttore.

Gli stati del sistema sono due: LS = lampada spentaLA = lampada accesaI comandi dati al sistema sono di due tipi: IA = interruttore apertoIC = interruttore chiusoPoiché abbiamo due ingressi e due stati, le transizioni possibili

sono quattro.

Page 10: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Input Stati LS LA

IA 0 0

IC 1 1

Page 11: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Dando il comando attraverso l’interruttore la lampadina può essere accesa o spenta.

Page 12: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Sempre parlando di automi al Museo d’ Arte di Lugano

dal 25 OTTOBRE 2009 - 21 FEBBRAIO 2010 …

…nell’ambito delle iniziative promosse dal Polo Culturale della Città di Lugano, organizza, in collaborazione con la Fondazione Antonio Mazzotta di Milano e con la partecipazione del Museo Nazionale della Scienza e della Tecnologia “Leonardo da Vinci” di Milano e del

Museo Cantonale d’Arte di Lugano la mostra “Corpo, automi, robot. Tra arte, scienza e tecnologia”, la quale

affronta con un approccio interdisciplinare il rapporto tra il corpo umano e la rappresentazione che di esso è stata data da parte delle arti, della scienza e della tecnologia, soprattutto per quanto riguarda la dinamica dell’imitazione del corpo (con gli automi) e della sua sostituzione (con i robots).

Page 13: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Un esempioEcce Homo

Nam June Paik1989

Nam June Paik, Ecce Homo Nam June Paik, Ecce Homo, 1989, video scultura con monitor, televisioni radio e

macchine fotografiche vintage, 222 x 152 x 48 cm, Collezione privata

Page 14: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

In informatica e in matematica

Un automa è un dispositivo, o un suo modello in forma di

macchina sequenziale, creato per eseguire un

particolare compito, che può trovarsi in

diverse configurazioni più o meno complesse

caratterizzate primariamente da una

variabile che appartiene ad un determinato insieme

di stati, e che evolve in base agli stimoli od ordini ricevuti in ingresso schematizzati da simboli appartenenti ad un

determinato alfabeto.

Page 15: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Gli automi sono spesso utilizzati per descrivere linguaggi formali, e per questo sono

chiamati accettori o riconoscitori di un linguaggio.L'insieme dei possibili stimoli che possono essere

forniti ad un automa costituisce il suo alfabeto.Una sequenza di simboli (detto anche stringa o parola)

appartiene al linguaggio se essa viene accettata dal corrispondente automa, ovvero se porta l'automa in uno stato valido, che sia lo stesso o un altro stato.

Un sottoinsieme del linguaggio riconosciuto, chiamato linguaggio marcato porta l'automa dal suo

stato iniziale ad uno stato finale o marcato.A diverse classi di automi corrispondono diverse classi

di linguaggi, caratterizzate da diversi livelli di complessità.

Page 16: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Papert costruisce così un linguaggio di programmazione per bambini:

LOGO, che è stato tradotto in 17 lingue.

I programmi QQ. STORIE, IPERLOGO E IPLOZERO 2009 (=

sistemi multimediali interattivi) utilizzano il linguaggio LOGO per far muovere la tarta

(= tartaruga), un automa a forma di triangolo, il cui angolo acuto rappresenta il

naso.

Page 17: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

IL LINGUAGGIO DELL’AUTOMA IPERLOGO

QQ.storie è un programma di tipo educativo scritto con un linguaggio di

programmazione (diciamo al computer che cosa fare e lui esegue). Con esso

quindi si costruiscono dei comandi per il computer e nel nostro caso questo

linguaggio si chiama IPERLOGO. Si può immaginare che dietro al computer ci sia

un automa che segue fedelmente le regole e che risponde in modo

prevedibile.

Page 18: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Iperlogo è un automa, un fedele esecutore dei comandi;

Iperlogo è un linguaggio di programmazione, un sistema per comandare il PC. Ha 560 parole primitive (capacità innate, come il

codice genetico) e se ne possono aggiungere delle altre, insegnandole come a un bambino → iperlogo è un automa che impara! Il linguaggio di iperlogo è

fatto di parole e regole: le parole primitive rappresentano azioni in generale (per

esempio: puliscischermo).

Page 19: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Quando si apre Iplozero 2009 appaiono tre finestre

molto importanti:

1. La finestra di tarta: Questa finestra è come ilfoglio del proprio quaderno.

Qui appariranno sotto forma di disegni tutti icomandi che daremo a tarta.

2. La finestra dei comandi: da questa finestrascriviamo e diamo i comandi immediati a tarta.

3. Il Foglio: questa finestra si chiama foglio proprioperchè funziona come un foglio di carta, unbiglietto su cui tu scrivi i comandi da dare adIperlogo tutti in una volta.Questa finestra li tramuterà in disegni cheappariranno sulla prima grande finestracliccando su Prova/Esegui tutto.

TARTA

Page 20: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Alcuni comandiPS – pulisci schermoSFONDONERO – colora tutto lo sfondo di nero ;SPESSORE 10 – indica lo spessore della linea che lascia la tarta

quando si muove ;BLU – colore della linea che lascia la tarta ;GIU – la tarta abbassa il pennello che ha sulla schiena e lascia la

linea ;

SU – la tarta alza il pennello e non lascia la scia ;SINISTRA 90 – la tarta si muove verso sinistra di 90 gradi ;DESTRA 90 – la tarta si muove verso destra di 90 gradi ;AVANTI 300 – la tarta si muove in avanti di 300 passi.

Page 21: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Posso insegnare alla TARTA dei nuovi comandi che non conosce, e per fare questo devo scrivere sul Foglio.

PER QUA RIPETI 4 [ AVANTI 100 DESTRA 90 ]FINEClicco su : Prova – Esegui tutto. Poi sulla finestra dei comandi scriverò :QUA e premo invio così TARTA eseguirà il comando.

Page 22: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Abbiamo provato a disegnare una F

I comandi da inserire nel foglio sono:

Page 23: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

pssfondonero bianco spessore 10avanti 100avanti 100destra 90avanti 100destra 90destra 90avanti 100 destra 90destra 90destra 90avanti 100 destra 90destra 90destra 90avanti 100

Page 24: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

destra 90destra 90avanti 100destra 90destra 90destra 90avanti 100destra 90destra 90tpp

Page 25: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Ed ecco il risultato

Page 26: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Per permettere ai bambini di comprendere con più

semplicità e chiarezza il linguaggio dell’automa, i

comandi e le procedure da mettere in atto per arrivare al

risultato/ scopo desiderato possiamo proporre IL GIOCO

DELL’AUTOMA

Page 27: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Un bambino dà i comandi, il compagno li esegue

Obiettivo: Costruire con i passi una LComandi: Partenza Avanti Destra Ferma

Page 28: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Partenza

Avanti

Avanti

Destra Avanti Avanti Ferma

Page 29: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Il Labirinto

Quali comandi dovrà eseguire Oliver per portare la spina della televisione fino alla presa e poter così guardare

la televisione?

Page 30: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Partenza con le spalle alla Tv

Avanti 1 (significa avanti di un passo)

Sinistra Avanti 2DestraAvanti 9SinistraAvanti 9DestraAvanti 3Stop: sei arrivato alla

presa!

Page 31: Automi Linguaggi e Procedure Gruppo Farina. Che cosè un AUTOMA? Con il termine automa sintende un qualunque dispositivo, un qualunque oggetto, che esegue.

Bibliografia

• http://it.wikipedia.org

• http://www.mdam.ch

• www.rcvr.org/scuole