Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
aa:lab:3 [2023/10/27 11:39] ioana.dabelea |
aa:lab:3 [2024/10/31 20:08] (current) stefan.sterea [Exerciții] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Reduceri Turing ====== | + | ====== Reduceri ====== |
| - | /* | + | |
| - | <hidden> | + | Reducerile sunt o unealtă folositoare pentru a demonstra (ne)decidabilitatea/acceptabilitatea unor probleme. Vom folosi în mod predominant reducerile pentru a demonstra prin absurd că o problemă nouă $ f$ nu este decidabilă, atfel: |
| - | <note important> | + | |
| - | Solutii: https://drive.google.com/file/d/1RUCQaVsHkMbFLBojUJ7ok5gy5Mq6-ce8/view?usp=sharing | + | |
| - | </note> | + | |
| - | </hidden> | + | |
| - | */ | + | |
| - | Reducerile Turing sunt o unealtă folositoare pentru a demonstra (ne)decidabilitatea/acceptabilitatea unor probleme. Vom folosi în mod predominant reducerile pentru a demonstra prin absurd că o problemă nouă $ f$ nu este decidabilă, atfel: | + | |
| * presupunem că $ f$ e decidabilă, deci există o mașină $ M_f$ care o decide | * presupunem că $ f$ e decidabilă, deci există o mașină $ M_f$ care o decide | ||
| Line 60: | Line 54: | ||
| 3. Demonstrați că relația $ \le_m$ e reflexivă și tranzitivă. | 3. Demonstrați că relația $ \le_m$ e reflexivă și tranzitivă. | ||
| - | /* | + | <note tip> |
| - | <note> | + | Soluțiile acestui laborator se găsesc [[aa:lab:sol:3|aici]] |
| - | Soluțiile pentru exercițiile din laborator se pot găsi [[aa:lab:sol:3|aici]]. | + | |
| </note> | </note> | ||
| - | */ | + | |