Linguaggi formali, help

[misterx]

ma riuscite a capire l'esempio fatto con i simboli logici ?

[ingpeo]

Nell'esempio la prima stringa è formattata correttamente, quindi fa parte del linguaggio L.
La seconda non è formattata correttamente (le parentesi non possono essere sottointese), quindi non può far parte di L.

[misterx]

scusa ma non ho capito lo stesso

Da nessuna parte si parla di sintassi o semantica
Il fatto che non appartenga ad L l'esempio senza parentesi mi sfugge

[ingpeo]

La sintassi e la semantica si trovano nelle 3 regole.
Per il secondo esempio ho sbagliato, non è un problema di parentesi ma dei simboli delle operazioni. Facendo un raffronto con la matematica è come se fosse scritto a-*0.
In particolare nella regola 2 si vede come possono essere usati gli operatori.

[misterx]

la regola 1 la vedo, non riesco a vedere la 2

[Janky]

non capisco cosa non ti è chiaro...

ricordati che il simbolo ¬ vuol dire "negato" o "non"

[ingpeo]

Proviamo ad analizzare le due stringhe:

-(a/\-b)
Scomponiamo il ragionamento

a appartiene ad L, b appartiene ad L (regola 1)

-b appartiene ad L (regola 2)

quindi possiamo dire che

a/\-b appartiene ad L (regola 2)

quindi possiamo dire che

-(a/\-b) appartiene ad L (regola 2)



Mentre per a-/\0:

a appartiene ad L, 0 appartine ad L (regola 1)

-/\0 non appartinene ad L (regola 2)

quindi possiamo dire che

a-/\0 non appartiene ad L (regola 3)


Chiaro ora?
Spero di non aver fatto errori

[Janky]

come dice ingpeo il secondo esempio non è corretto perchè sta applicando l'operatore di negazione ¬ ad un altro operatore, cosa che non è possibile

gli operatori vanno applicati ai numeri/lettere

[misterx]

Originariamente inviato da ingpeo

Proviamo ad analizzare le due stringhe:

-(a/\-b)
Scomponiamo il ragionamento

a appartiene ad L, b appartiene ad L (regola 1)

-b appartiene ad L (regola 2)

quindi possiamo dire che

a/\-b appartiene ad L (regola 2)

quindi possiamo dire che

-(a/\-b) appartiene ad L (regola 2)



Mentre per a-/\0:

a appartiene ad L, 0 appartine ad L (regola 1)

-/\0 non appartinene ad L (regola 2)

quindi possiamo dire che

a-/\0 non appartiene ad L (regola 3)


Chiaro ora?
Spero di non aver fatto errori

credo di aver capito; mi ero fossilizzato solo sulla semantica!
qiondi, -(a/\-b) appartiene a L in quanto nella regola 2 abbiamo:
a/\ che è uguale a x/\ nella regolae quindi appartiene a L
-b che è uguale a -x sempre nella regola

però, quel

-(

sempre nel primo esempio che non vedo nelle regole ?

Sarebbe il NOT prefisso alla parentesi tonda, perchè si può usare ?

[Janky]

perchè quelle sono operazioni booleane!

che hanno un risultato numerico che vale 0 o 1

nel caso di ¬(a/\¬b) esegui per prima la moltiplicazione logica a/\¬b e il risultato lo neghi

[ingpeo]

Originariamente inviato da misterx

credo di aver capito; mi ero fossilizzato solo sulla semantica!
qiondi, -(a/\-b) appartiene a L in quanto nella regola 2 abbiamo:
a/\ che è uguale a x/\ nella regolae quindi appartiene a L
-b che è uguale a -x sempre nella regola

però, quel

-(

sempre nel primo esempio che non vedo nelle regole ?

Sarebbe il NOT prefisso alla parentesi tonda, perchè si può usare ?

non proprio, riprovo a spiegarlo meglio:
avendo x, y appartenenti ad L
-x, -y, etc... appartiene ad L
x/\y appartiene ad L

nel nostro caso: x=a, y=-b
quindi a/\-b appartiene ad L
se poi poniamo c=(a/\-b) (che appartiene ad L, detto sopra)
e sapendo che -c appartiene ad L
sostituendo risulta
-(a/\-b) appartiene ad L

[misterx]

scusa, ma mentalmente ci fai su delle operazioni booleane ?
Inizio a pensare che c'è qualcosa, un gap, che mi impedisce di capire.
Io sto ragionando a livello puramente testuale e simbolico

[ingpeo]

Originariamente inviato da misterx

scusa, ma mentalmente cia fai su delle operazioni booleane ?
Inizio a pensare che c'è qualcosa, un gap, chje mi impedisce di capire.
Io sto ragionando a livello puramente testuale e simbolico

E' la parola "linguaggio" che ti frega, non devi pensare ad una lingua, piuttosto avvicinati alla matematica (che tralaltro è un linguaggio formale).
Devi scomporre in unità atomiche quello che c'è scritto e poi man mano aggregarli usando le regole esposte, un po' come si fa con le espressioni algebriche.
Non è un testo semplice che si legge da sinistra verso destra

[misterx]

ci scommetto che mi sono perso in un bicchiere d'acqua

[misterx]

tornando agli esempi 1 e 2

1) |-(a/\-|b) parola di L
e
2) a-|/\0 non parola di L

la 1 la posso vedere come:

x = a
y = -|b

quindi (x/\b) = (a/\-|b) e se ora considero tale risultato come fosse una ulteriore x e cioè:

x = (a/\-|b)

posso mettermi come nel caso della definizione e cioè che -|x appartiene a L e cioè

-|(a/\-|b) appartiene a L

[ingpeo]

esatto
Se provi la stessa cosa con la 2 vedrai che non rispetta la sintassi e non riesci a riportarla ad una parola di L

[misterx]

Originariamente inviato da ingpeo

esatto
Se provi la stessa cosa con la 2 vedrai che non rispetta la sintassi e non riesci a riportarla ad una parola di L

è solo grazie alla tua pazienza.
Però non credo di essere ancora riuscito a dominare questo aspetto; se non lo riguardo tra 2 giorni non me lo ricorderei più

[ingpeo]

Beh, segnati questa discussione e fra due giorni puoi rileggertela.

[misterx]

altro dubbio

non appartiene a L per via del numero 17 o per via della parentesi ( ?????

[ingpeo]

Non è valida per colpa della parentesi, il valore 17 è valido in quanto combinazione di due valori.