Subject: Re: dubbio sostanziale
Date: Wed, 02 Jul 2008 16:36:27 GMT
From: L <parmenide_2002@yahoo.it>
Organization: [Infostrada]
Newsgroups: it.cultura.filosofia.moderato

qf wrote:

> Capisci bene che non ha senso che dipenda solo dallo stato interno e non
> dagli ingressi. Sarebbe un automa che neppure si avvia -- anche se ha un
> programma interno -- dato che non ha ingressi, cioè non ha ... comandi
anche
> solo di avviamento. Insomma neppure può funzionare.
> Quindi ci deve essere un lapsus nel tuo riferimento: invece di "stato
> interno" si doveva scrivere "input". Succede quando si ricorre troppo ai
> formalismi. Ma niente di male.

Ribadisco che -in letteratura- la macchina di Moore ha ogni stato (tn+1)
che dipende da ingressi e stato precedente(tn)
Le uscite sono dipendenti solo dallo stato(tn), quindi -la macchina di
Moore- ha memoria.
Comunque ognuno la può raccontare come vuole, nessun problema.
Io mi riferivo a ciò che è detto in letteratura scientifica.

>
> Automa di Moore è tipicamente la macchinetta distributrice del caffè, che
fa
> sempre la stessa cosa (non ha memoria) ma a seconda del comando che
riceve,
> cioè a seconda dell'input (caffè se chiedi caffè, tè se chiedi tè ecc.)
> Un automa di Mealy invece, ricevuti dati in ingresso, si comporta tenendo
> conto delle condizioni precedenti all'arrivo dei comandi (input): immagina
> una macchinetta del caffè economa, che, se quello che ha chiesto il caffè
> prima di te ha preteso tanto zucchero, a te lo rifila senza zucchero :-))

Ciò di cui parli è detta -in letteratura scientifica- rete combinatoria.
I due automi, sia di Mealy che di Moore sono detti entrambe con
"memoria".

Mi appello ad un giudizio terzo:

http://it.wikipedia.org/wiki/Automa_a_stati_finiti

++
cit on:
++

Automa di Mealy e Automa di Moore

Nell'automa di Moore, la funzione f dipende solo dallo stato: f = S -> U
e dunque U(t) = f(S(t)). La macchina di Moore può essere dunque vista
come una
semplificazione del caso più generico, dove l'uscita dipende dallo stato
e dagli ingressi. Quest'ultimo tipo di automa è detto automa di Mealy.

++
cit off
++

Saluti,

L

P.S.

Però se mi trovi _un solo link_ in cui vi siano le tue tesi, magari
andiamo a domandarci perché esistono versioni contradditorie della
classificazione degli automi a stati finiti. In mancanza di ciò per me
la possiamo anche lasciare -la trattazione- allo stato di memoria
attuale, vista la mancanza di altri input.