Pages: [1] 2   Go Down
Print
Author Topic: Domanda Automi  (Read 386 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« on: 30-10-2018, 11:23:27 »

È possibile un ASFD con 2 o più stati finali? (o di accettazione)
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #1 on: 30-10-2018, 12:42:33 »

È possibile un ASFD con 2 o più stati finali? (o di accettazione)

Qual e' la definizione di ASFD?

Scrivila o dimmi dove trovarla nel testo.
Logged
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« Reply #2 on: 30-10-2018, 13:05:17 »

Definizione formale

Un Automa a Stati Finiti Deterministico è una quintupla in cui A(automa)={∑(alfabeto), Q(Insieme degli stati es q1,q2), δ (funzione di transizione), q0(stato iniziale) F(stato finale)}.

« Last Edit: 30-10-2018, 13:11:07 by J0SepH_ » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #3 on: 30-10-2018, 14:00:23 »

Definizione formale

Un Automa a Stati Finiti Deterministico è una quintupla in cui A(automa)={∑(alfabeto), Q(Insieme degli stati es q1,q2), δ (funzione di transizione), q0(stato iniziale) F(stato finale)}.

Dove l'hai studiata questa definizione?
Logged
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« Reply #4 on: 30-10-2018, 17:42:52 »

È presente nei miei appunti ho sbagliato a copiarla, possono essere presenti 2 o più stati di accettazione, ho verificato.
« Last Edit: 30-10-2018, 17:44:31 by J0SepH_ » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #5 on: 30-10-2018, 18:38:18 »

È presente nei miei appunti ho sbagliato a copiarla, possono essere presenti 2 o più stati di accettazione, ho verificato.

Una curiosita': dove hai verificato?
Logged
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« Reply #6 on: 30-10-2018, 20:57:24 »

Sui miei stessi  appunti, in pratica sopra dove ho scritto "F(stato finale)" in realtà è: "F(insieme degli stati finali)" in cui F⊆Q(quest'ultimo insieme degli stati) quindi ne ho dedotto che gli stati finali posso essere più di 2.
"ho verificato", nel senso che ho verificato/confrontato con gli appunti di un collega.
« Last Edit: 30-10-2018, 21:01:43 by J0SepH_ » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #7 on: 30-10-2018, 21:18:47 »

Bene.

Per fortuna stiamo comunicando per iscritto, cosi' non si sentono le mie urla...


Qualcuno ti ha mai fatto presente che esistono i LIBRI !?!??

Che NON SI STUDIA SOLO SUGLI APPUNTI ??!!??

Che per risolvere il tuo problema sarebbe bastato prendere il testo di riferimento
per la parte di Linguaggi Formali
[AAG] G. Ausiello, F. d'Amore, G. Gambosi. Linguaggi, Modelli, Complessita' (pdf file)
presente nella pagina del programma
http://www.dmi.unict.it/~barba/FONDAMENTI/PROGRAMMI-TESTI/programmaAAcorrente.html
e leggere la Definizione 3.1 ??!??

Che gli appunti servono per ricordare le idee generali, le intuizioni sottostanti alle nozioni formali,
ma che poi le definizioni i teoremi e le varie formalizzazioni dei concetti discussi in aula
SI STUDIANO SUL TESTO??!??


Un cordiale saluto
FB
Logged
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« Reply #8 on: 31-10-2018, 14:56:11 »

Ok.
Per evitare di scrivere un altro Topic ne approfitto per un'altra domanda. Nelle definizione 2.3 al Capitolo 2 della Logica Martini (http://www.dmi.unict.it/~barba/FONDAMENTI/PROGRAMMI-TESTI/READING-MATERIAL/LOGICA/logicaMartini.pdf)
 
non ho capito il terzo punto, cosa vuol significare? che un insieme di fbf  ∈  Rj (con j ∈ I [indici suppongo]) viene sostituito con una fbf presente nel sistema formale D?    
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #9 on: 31-10-2018, 16:04:52 »

Quello che tu chiami insieme e' una ennupla di fbf, in particolare una ennupla di nj formule ben formate.

Se una ennupla appartiene ad una regola di inferenza, l'ultimo elemento dell'ennupla si chiama
conclusione e i precedenti si chiamano premesse.
Il punto in questione dice che  una fbf in una derivazione corretta puo' essere
la conclusione di una regola di inferenza se le premesse della regola sono gia'
presenti nella derivazione.

Esempio:
Gli elementi della relazione (regola di inferenza) modus ponens sono
triple della forma (A, A->B,B)
Il punto in questione dice che puoi avere B in una derivazione corretta
se prima di B ci sono due formule, A e A->B


Logged
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« Reply #10 on: 31-10-2018, 16:19:10 »

Grazie, quindi in pratica hnj-1 sta a significare che appunto una delle formule non va rappresentata nell'ennupla di Rj?
Nell'esempio che ha scritto lei, consideriamo solo A e A-->B nell'ennupla di Rj in quanto B è la nostra conclusione e dobbiamo quindi "toglierla" [hnj-1].
                                    
« Last Edit: 31-10-2018, 16:41:43 by J0SepH_ » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #11 on: 31-10-2018, 20:20:44 »

Quote
quindi in pratica hnj-1 sta a significare che appunto una delle formule non va rappresentata nell'ennupla di Rj?
No.
Significa che se la conclusione della regola (la formula piu' a destra nell'ennupla) e' nella derivazione,
allora le sue premesse (tutte le formule nell'ennupla meno quella a destra) debbono essere
gia' presenti nella derivazione.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #12 on: 31-10-2018, 20:22:59 »

Quote
Nell'esempio che ha scritto lei, consideriamo solo A e A-->B nell'ennupla di Rj in quanto B è la nostra conclusione e dobbiamo quindi "toglierla" [hnj-1].

In questo esempio significa che se hai B nella derivazione (dove B e' l'ultimo elemento dell'ennupla (A,A->B,B)  )
allora prima di B, nella derivazione,  devi avere A  e A-> B.
Logged
J0SepH_
Matricola
*
Offline Offline

Posts: 20



« Reply #13 on: 01-11-2018, 10:21:51 »

ho capito, grazie prof
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #14 on: 01-11-2018, 11:38:59 »

 ok
 
Logged
Pages: [1] 2   Go Up
Print
Jump to: