This is an old revision of the document!

1. Scrieți o mașină Turing care decide limbajul: $ L_1 = \{ 0^{2^n} \mid n \ge 0 \}$

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} \}$