This is an old revision of the document!
1. Scrieți o MT care să decidă $ L_1 = \{ 0^{2^n} \mid n \ge 0 \}$
Următorul tabel descrie o mașină care întâi marchează a-uri și c-uri în perechi, apoi trece la a marca b-uri și d-uri. Toate celule goale ar trebui interpretate ca tranziții către $ q_{reject}$.
| a | b | c | d | A | B | C | D | # | |
|---|---|---|---|---|---|---|---|---|---|
| find_a | (find_c, A, R) | (find_d, B, R) | (check_no_cs, C, R) | (accept, #, R) | |||||
| find_b | (find_d, B, R) | (check_no_ds, C, R) | (check_no_ds, D, R) | ||||||
| find_c | (find_c, a, R) | (find_c, b, R) | (rewind_a, C, L) | ||||||
| find_d | (rewind_b, D, L) | (find_d, C, R) | (find_d, D, R) | ||||||
| rewind_a | (rewind_a, a, L) | (rewind_a, b, L) | (find_a, A, R) | (rewind_a, C, L) | |||||
| rewind_b | (rewind_b, b, L) | (find_b, B, R) | (rewind_b, C, L) | ||||||
| check_no_cs | (check_no_cs, C, R) | (accept, #, R) | |||||||
| check_no_ds | (check_no_ds, C, R) | (check_no_ds, D, R) | (accept, #, R) |