Differences

This shows you the differences between two versions of the page.

Link to this comparison view

lfa:lab14 [2021/01/24 18:50]
dmihai created 		lfa:lab14 [2021/01/24 19:12] (current)
dmihai
Line 5: Line 5:
 2. Demonstrați că limbajul $ R_{TM} = \{ <M> \mid w \in L(M) \iff w^R \in L(M) \}$ este nedecidabil ($ w^R$ este inversul cuvântului $ w$). 2. Demonstrați că limbajul $ R_{TM} = \{ <M> \mid w \in L(M) \iff w^R \in L(M) \}$ este nedecidabil ($ w^R$ este inversul cuvântului $ w$).
  
-3. Demonstrați că limbajul ​$ ALL_{TM} = \{ <M> \mid L(M) = \Sigma^* ​\}$ este neacceptabil.+3. Demonstrați că relația ​$ \leq_M$ e tranzitivă ​(i.e. $ A \leq_M B$ și $ B \leq_M C \implies A \leq_M C$).
  
-4. Demontrați că relația $ \leq_M$ e tranzitivă (i.e. $ A \leq_M B$ și $ B \leq_M C \implies A \leq_M C$). +4. Demonstrați că limbajul $ EMPTY_{TM} = \{ <M> \mid L(M) = \emptyset \} $ este nedecidabil.
- +
-5. Demonstrați că limbajul $ EMPTY_{TM} = \{ <M> \mid L(M) = \emptyset \} $ este nedecidabil.+
  
 <note tip> <note tip>
Line 15: Line 13:
 </​note>​ </​note>​
  
 +5. Demonstrați că limbajul $ ALL_{TM} = \{ <M> \mid L(M) = \Sigma^* \}$ este neacceptabil.