La macchina di Turing | Teoria informatica
Вставка
- Опубліковано 10 вер 2024
- Nelle schede è presente il video sull'emulatore della MdT in C
➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
🔥🔥 SOCIAL 🔥🔥
📢 Canale Telegram: t.me/programma...
️🖥️ Gruppo Telegram: bit.ly/3303pDH
👤 Instagram: bit.ly/2YuWx3E
➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
🔥🔥 SOSTIENI IL CANALE 🔥🔥
📦 Amazon Prime: www.amazon.it/p...
📚 Amzon Prime Student: www.amazon.it/j...
🎥 Amazon Prime Video: www.primevideo...
🎶 Amazon Music: www.amazon.it/...
👕 Store magliette: bit.ly/2puSFzo
➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
#MdT
#MacchinaDiTuring
Complimenti per la spiegazione, hai spiegato un concetto complesso in poco tempo e con un linguaggio accessibile anche ai meno competenti (come me), ma in modo completo.
Sei un mito :)
Grazie questo video è stato utilissimo!!!!!!!
Anche a me è stato molto utile per l'esame di Automi e Linguaggi Formali
Non mi è chiara una cosa, se non mi sbaglio hai affermato che la MdT non usa la logica ma più avanti affermi che se la macchina ha la stessa quitupla (Qº) con differenti simboli è capace di scegliere quale usare. A me questo sembra un'istruzione logica IF, quindi usa la logica. O non ho capito bene? Ciao. Cmq grazie del video, molto interessante.
La macchina di Turing non esprime una logica in senso stretto come la intendi tu, così come nessun automa. Cioè non valuta la semantica di una condizione, bensì agisce soltanto in funzione dello stato in cui si trova e dell'input che riceve.
Lo stesso procedimento avviene anche negli automi dei linguaggi regolari, che sono i più semplici in assoluto della gerarchia di Chomsky. Infatti anche questi cambiano stato in funzione di dove sono e di ciò che leggono in input.
Quindi la scelta dell'azione da compiere non è ragionata semanticamente, ma è meccanica: non valuto cosa significa (semantica) un simbolo in input per fare qualcosa, ma mi muovo in base agli ordini che gli ho dato. Non c'è nulla di ragionato nell'azione da parte della macchina (solo io umano so che ha senso che la macchina si comporti in un determinato modo così da ottenere un determinato risultato).
grazie mille per la spiegazione, illuminante direi.
Io sto iniziando a studiare programmazione ora e non ho capito assolutamente niente. Dove sbaglio secondo voi?
Sarebbe utile sapere quale sia il tuo approccio
Molto chiaro nella spiegazione, sicuramente meglio di molti altri che spiegano in ostrogoto antico ma troppe interruzioni pubblicitarie, dopo 6 minuti al terzo spot ho bloccato la visione per scrivere questo commento. Ora riprendo, il like te lo lascio perché sei bravo ma secondo me dovresti relegare la pubblicità ad inizio e fine video, al massimo una centrale ma non in un video di 10 minuti.
Capisco il tuo disagio. Ho provato a cercare dei compromessi nei video nuovi del canale dividendo il video a capitoli e mettere una pubblicità per capitolo (eccetto per il primo), quindi se il video ha 3 capitoli ha 2 pubblicità dentro.
Purtroppo youtube paga davvero poco, e spesso non mostra le pubblicità inserite (ne metto 6 e ne fa vedere 2, tranne se hai sfiga e youtube sceglie di dartele tutte).
Dovrò comunque rivedere il quantitativo di pubblicità in generale e diminuirne.
@@ProgrammazioneTimeOfficial mi sa che ho avuto sfiga, me ne saranno partite 5 o 6 😂 comunque in un video più lungo le digerisci meglio, in questo mi veniva spezzato continuamente il concetto che spiegavi, potrebbe essere controproducente
Ho modificato il numero di pubblicità, alla fine preferisco che una persona capisca il concetto che pubblico e che apprezzi il video.
Poi amen, i guadagni pochi erano e pochi saranno sempre...
@@ProgrammazioneTimeOfficial penso sia una scelta saggia
Ciao, molto chiaro, visto che si vede che ne sai a pacchi ho una domanda da farti o meglio non mi è chiaro un concetto. Che legame c’è tra algoritmi e calcolabiltà? Nel senso che la macchina di Turing serve per dimostrare in modo formale un algoritmo m la macchina di Turing serve anche a dimostra il
Problema della
Decisone? Cioè se una funzione matematica è calcolabile o meno? Quindi algoritmi è sinonimo di calcolabilita in questo caso? Dove mi perdo?! Grazie
Da dove deduci il fatto che algoritmo è sinonimo di calcolabilità? Perché un tuo pseudo algoritmo può risolvere calcoli?
Risposta in mega ritardo, però spero di aver compreso bene la domanda:
- Tutto ciò che è calcolabile è esprimibile mediante un algoritmo. Gli algoritmi esprimono funzioni matematiche, ma non tutte le funzioni matematiche esistenti sono esprimibili mediante un algoritmo.
- La tesi di Church-Turing ha espresso che: la classe delle funzioni intuitivamente calcolabili coincide con la classe delle funzioni Turing calcolabile.
- Determinare QUANDO una funzione è calcolabile non è facile. Ovvio che se è possibile farlo basta dare un algoritmo, ma al contrario affermare che non può esistere un algoritmo (per un determinato problema) è complicato.
Mi sentirei di dirti che sì: algoritmo è sinonimo di calcolabilità.
@@ProgrammazioneTimeOfficial figurati, aspetta però che devo ricordare tutto quello ch avevo assimilato e ora perso ahhhh ce la farò!!! grazie
@@ProgrammazioneTimeOfficial L'unica certezza che abbiamo è che l'unico problema non decidibile è il problema dell'arresto.... Forse voleva capire più questo passaggio secondo me ;)
In che senso l'unica certezza che abbiamo? Basta effettuare delle riduzioni funzionali per riuscire a capire se un problema è decidibile o meno. Per esempio un problema non decidibile può essere l'insieme A di tutti i programmi che hanno come dominio i valori del range (output mostrato). Dimostrare che non è decidibile è semplice. Analogamente non è decidibile il seguente insieme: tutti i programmi tali per cui la loro funzione sia crescente. Ovvio che il trucco è ridursi funzionalmente.
sinceramente non ci ho capito nulla , perchè non riesco a capire le tabelle che hai fatto senza spiegarle nel funzionamento
Il video non ha l'obiettivo di spiegare in modo accademico/didattico le tabelle e quant'altro. È più un video divulgativo ecco.
Per quel tipo di spiegazioni dovrò preparare video effettivamente dedicati... l'idea già c'era ma devo trovare il tempo e la voglia (UA-cam non è che incentivi così tanto alla creazione di materiale del genere, curato e tant'altro... tuttavia ho già iniziato a scrivere i copioni)
a ok grazie, capisco quello che intendi con youtube è vero grazie ancora
@@ProgrammazioneTimeOfficial
Like se lo guardate durante le videolezioni
dovevo stare attento alla lezione di religione ma...
mito assoluto
Ma se ne landa e maggiore come si fa ha sapere se il numero e minore
stai letteralmente solo leggendo il libro di testo, non è affatto utile sto video perché non spieghi nulla
Sì è un video particolarmente vecchio e tutto il canale deve essere svecchiato riportando nuova roba e cancellando la vecchia (sono video di quando ancora ero alle superiori, un buon 90%)
Poi come ho detto a un altro, non è un video didattico, ma presenta solo l'argomento