Voglio incominciare così questo mio breve ciclo di post informativi, partendo da un concetto basilare e poi la prossima volta con un post dedicato alla memoria di chi ha spianato la strada verso il PC, Alan Turing, morto sucida il 7 maggio del 1954, cioè colui che decritò il "Codice Enigma". Automa in informatica: esso è un sistema dinamico definito "discreto" nella scansione del tempo e nella descrizione del suo stato, ma a tempo invariante, cioè il sistema si comporta alla stessa maniera indipendentemente dall'istante di tempo in cui agisce. Però c'è un ma, esso può accettare solo un sottoinsieme dei simboli del suo alfabeto e non di altri (quindi è anche deterministico perchè, dato uno stato ed un simbolo in ingresso, è possibile una sola transizione). C'è da distinguere tra gli automi a stati finiti che sono dotati di un insieme finito di stati, essi scandiscono una stringa di simboli in ingresso, e quelli dotati di output che vengono chiamati macchine di Moore o macchina di Mealy, a seconda che l'output sia associato agli stati o alle transizioni, ma il massimo livello di complessità di un automa fu raggiunto dalla macchina di Alan Turing dotata di memoria supplementare nella forma di una pila (è un tipo di macchina astratta, un automa la cui memoria di lavoro è costituita da una struttura dati). Un automa a pila ha due diversi modi di accettare un linguaggio: per pila vuota o per stato finale; essi sono in grado di riconoscere una classe più ampia di linguaggi rispetto agli altri. Sono di tipo 2 secondo la classificazione gerarchica di Chomsky. Esempio terra terra in versione macchina di Moore, il distributore di caffè, ciccolata o cappuccino (ma questo discorso è valido anche per quelli di bibite, tramezzini e merendine), ipotizzando un costo di 50 centesimi per il caffè, 80 centesimi per il cappuccino ed € 1 per la cioccolata. Ingressi o imput: (monete) 10, 20, 50 centesimi e €1, caffè, cioccolata e cappuccino; uscita o uotput : mancano soldi, scegli caffè, cioccolata, cappuccino, fa caffè, fa cappuccino, fa cioccolata ; fa caffè e mostra resto, fa cioccolata e mostra resto, fa cappuccino e mostra resto; non accetta altri soldi, effettuare la scelta! Non mi dite di non aver effettuato mai queste operazioni, anche se io il caffè lo preferisco preso al BAR, in piedi o al tavolino :
Eccolo Alan Turing, la sua macchina, Mdt, l'enorme decrittatore "Colossus", la macchina Enigma usata dai nazisti e il simbolo della Apple preso a suo ricordo visto che Turing si suicidò mordendo una mela avvelenata con il cianuro :
|