Tracce d'esame
29 tracce, 201 domande a risposta SÌ / NO / altro più la domanda 8 sulla macchina di Turing. Apri una traccia, rispondi e consegna: le risposte restano salvate in questo browser.
Legenda dei simboli
Tutte le tracce d'esame caricate (2016–2026), una pagina per traccia, con le 7 domande SÌ / NO / altro risolte e la domanda 8 (MdT). Una domanda che ricompare in più tracce è spiegata per intero una volta sola: nelle altre pagine trovi la risposta in una riga e il link alla spiegazione. Ogni traccia ha la sua domanda 8 risolta, con la tabella delle transizioni e il simulatore.
Legenda dei codici: F01–F14 = facsimile e prove numerate 2016–2017 (G16 = prova 11 del 7 giugno 2016), G17 = 23 giugno 2017, L18 = 12 luglio 2018, G20v1–v5 = 23 giugno 2020, MZ22 / LU22 = marzo e luglio 2022, GE23 / FE23 / MA23 / SE23 = gennaio, febbraio, marzo, settembre 2023, LU24 = luglio 2024, E26 = esame 2026, ND = traccia fotografata senza data, SP = domande sparse. ♻️ COD accanto al numero di una domanda = la domanda è già uscita in una traccia precedente, e COD è la prima in cui compare (le tracce senza data, ND e SP, contano come le più recenti).
Domanda 8: le MdT nelle tracce
| MdT | Tracce in cui compare |
|---|---|
| Incremento di 1 | F14 |
| Moltiplicazione per 2 | F13 |
| Divisione per 2 | F07, F05 |
| Resto della divisione per 2 | F02, F06, F04, G20v1 |
| Calcolare (complemento a due) | L18 |
| Interi positivi dispari in complemento a due | F01 |
| Non palindrome, nondeterministica, in tempo | FE23, MA23, G20v4 |
| della stessa lunghezza con | GE23, G20v3, MZ22 |
| key diversa da tutti gli | SE23, LU24 |
| Oracolo SAT che decide SAT-UNSAT | G16, F08, E26, ND |
| Palindrome, nondeterministica | F03 |
| Palindrome, deterministica a 2 nastri | F12, G17 |
| Moltiplicazione per 4 | G20v2 |
| Divisione per 4 | G20v5 |
| Somma binaria | LU22 |
| Oracolo CLIQUE per INDEPENDENT SET | SP |
📖 Fonti: esame.pdf (2026), facsimile-esame-01/02/06/07/13/14, 2016_06_07.pdf, 2018_07_12.pdf, 2023.pdf e la cartella cc-prove (tracce 2016–2024 con e senza soluzione, Raccolta prove, foto).
2016
- F01da fare30 maggio 2016, prova 017 domande · MdTDomanda 8: Programmare una MdT che accetta gli interi positivi dispari (codificati in complemento a due)
- F02da fare30 maggio 2016, prova 027 domande · MdTDomanda 8: Programmare una MdT che calcola il resto della divisione per 2 di una cifra binaria
- F03da fare31 maggio 2016, prova 037 domande · MdTDomanda 8: Programmare una MdT nondeterministica che controlla se una stringa è palindroma
- F04da fare31 maggio 2016, prova 047 domande · MdTDomanda 8: Programmare una MdT che calcola il resto della divisione per 2 di una cifra binaria
- F05da fare31 maggio 2016, prova 057 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT che divide una cifra binaria per 2
- F06da fare31 maggio 2016, prova 067 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT che calcola il resto della divisione per 2 di una cifra binaria
- F07da fare31 maggio 2016, prova 077 domande · 2 ripetute ♻ · MdTDomanda 8: Programmare una MdT che divide una cifra binaria per 2
- F08da fare31 maggio 2016, prova 087 domande · MdTDomanda 8: Programmare una MdT con oracolo SAT che decide SAT-UNSAT
- G16da fare7 giugno 2016, prova 117 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT con oracolo SAT che decide SAT-UNSAT
- F12da fare7 giugno 2016, prova 127 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT deterministica a 2 nastri che controlla se una stringa è palindroma
2017
- F13da fare15 giugno 2017, prova 137 domande · 2 ripetute ♻ · MdTDomanda 8: Programmare una MdT che moltiplica una cifra binaria per 2
- F14da fare15 giugno 2017, prova 147 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT che incrementa di 1 una cifra binaria
- G17da fare23 giugno 20177 domande · 2 ripetute ♻ · MdTDomanda 8: Programmare una MdT deterministica a 2 nastri che controlla se una stringa è palindroma
2018
2020
- G20v1da fare23 giugno 2020, versione 17 domande · 3 ripetute ♻ · MdTDomanda 8: Programmare una MdT che calcola il resto della divisione per 2 di una cifra binaria
- G20v2da fare23 giugno 2020, versione 27 domande · 3 ripetute ♻ · MdTDomanda 8: Programmare una MdT che moltiplica una cifra binaria per 4
- G20v3da fare23 giugno 2020, versione 37 domande · 3 ripetute ♻ · MdTDomanda 8: Programmare una MdT che accetta le stringhe x;y tali che x e y sono interi in binario della stessa lunghezza e x y
- G20v4da fare23 giugno 2020, versione 47 domande · MdTDomanda 8: Programmare una MdT nondeterministica che controlla se una stringa non è palindroma in tempo 2n
- G20v5da fare23 giugno 2020, versione 57 domande · 2 ripetute ♻ · MdTDomanda 8: Programmare una MdT che divide una cifra binaria per 4
2022
- MZ22da fare20 marzo 20227 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT che accetta le stringhe x;y, con x e y interi in binario della stessa lunghezza e x y
- LU22da fare22 luglio 20227 domande · 3 ripetute ♻ · MdTDomanda 8: Programmare una MdT che, data la stringa binaria x;y, effettua la somma binaria tra x e y e rigetta nel caso di stringhe di lunghezza diversa o di overflow
2023
- GE23da fare20 gennaio 20237 domande · 2 ripetute ♻ · MdTDomanda 8: Programmare una MdT che accetta le stringhe x;y tali che x e y sono interi in binario della stessa lunghezza e x y (se non hanno la stessa lunghezza, rigetta)
- FE23da fare14 febbraio 20237 domande · 1 ripetute ♻ · MdTDomanda 8: Programmare una MdT nondeterministica che controlla se una stringa non è palindroma in tempo 2n
- MA23da fare14 marzo 20237 domande · 2 ripetute ♻ · MdTDomanda 8: Programmare una MdT nondeterministica che controlla se una stringa non è palindroma in tempo 2n
- SE23da fare15 settembre 20237 domande · 3 ripetute ♻ · MdTDomanda 8: Programmare una MdT che accetta le stringhe nel formato key, el1, , eln, (l'ultima virgola è parte dell'input) con key e gli eli stringhe di bit e key diversa da tutti gli eli
2024
2026
Senza data
- NDda faresenza data (foto nella Raccolta)7 domande · 5 ripetute ♻ · MdTDomanda 8: Programmare una MdT con oracolo SAT che decide SAT-UNSAT
- SPda fareDomande sparse e MdT senza traccia (SP)5 domande · 5 ripetute ♻ · MdTDomanda 8: Programmare una MdT con oracolo che decide se un grafo ha un independent set di almeno K nodi, usando un oracolo per CLIQUE