Лекции - Машины Тьюринга. Основы теории вычислимости. Булевы функции и пропозициональные формулы
Подождите немного. Документ загружается.
L L = Σ
∗
\ L L
L L
•
•
< n > n
•
L = {n| < n > n}
•
L k
•
k ∈ L < k > k =⇒ < k >
L
•
k 6∈ L < k > k =⇒ < k >
L
•
L
•
L
•
•
< n > n
•
L = {n| < n > n}
•
L k
•
k ∈ L < k > k =⇒ < k >
L
•
k 6∈ L < k > k =⇒ < k >
L
•
L
•
L
•
•
< n > n
•
L = {n| < n > n}
•
L k
•
k ∈ L < k > k =⇒ < k >
L
•
k 6∈ L < k > k =⇒ < k >
L
•
L
•
L
•
•
< n > n
•
L = {n| < n > n}
•
L k
•
k ∈ L < k > k =⇒ < k >
L
•
k 6∈ L < k > k =⇒ < k >
L
•
L
•
L
•
•
< n > n
•
L = {n| < n > n}
•
L k
•
k ∈ L < k > k =⇒ < k >
L
•
k 6∈ L < k > k =⇒ < k >
L
•
L
•
L
•
•
< n > n
•
L = {n| < n > n}
•
L k
•
k ∈ L < k > k =⇒ < k >
L
•
k 6∈ L < k > k =⇒ < k >
L
•
L
•
L