Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
lfa:exercise-sheet-4 [2021/01/15 10:57] dmihai created |
lfa:exercise-sheet-4 [2021/01/20 15:39] (current) dmihai |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | 1. Scrieți o mașină Turing care decide limbajul: $ L_1 = \{ 0^{2^n} \mid n \ge 0 \}$ | + | Scrieți câte o mașină Turing (tabel de tranziție, graf sau fișier input pentru un simulator) care să decidă limbajele: |
| - | 2. Demonstrați că următorul limbaj nu e decidabil: $ L_2 = \{ <M> \mid \text{M e o mașină Turing} \land \exists \text{w a.î. M acceptă w} \}$ | + | 1. $ L_1 = \{ 0^{2^n} \mid n \ge 0 \}$ |
| + | |||
| + | 2. $ L_2 = \{ a^nb^mc^nd^m \mid n, m \ge 0 \}$ | ||