Recursive vs. Recursively Enumerable

Recursive vs. Recursively Enumerable

Languages ∑ = {a} ∑* = { λ, a, aa, aaa, aaaa, aaaaa, … }
Every x є 2 ∑* is a language To show: card(2 ∑*) > 0

Diagonalization I 2 ∑* = {{}, {λ}, {a}, {λ, a}, {aa}, {λ, aa}, {λ, a, aa}, {aaa}, …} {} {λ} {a} {λ a} {aa} {λ aa} {λ a aa}… λ … a … aa … aaa … aaaa … … … … … … … … …

Diagonalization II 2 ∑* = {{}, {λ}, {a}, {λ, a}, {aa}, {λ, aa}, {λ, a, aa}, {aaa}, …} {} {λ} {a} {λ a} {aa} {λ aa} {λ a aa}… λ a aa aaa aaaa aaaaa aaaaaa {} … {λ} … {a} … {λ a} … {aa} … {λ aa} … {λ a aa} … … … … … … … … …

Diagonalization III 2 ∑* = {{}, {λ}, {a}, {λ, a}, {aa}, {λ, aa}, {λ, a, aa}, {aaa}, …} {} {λ} {a} {λ a} {aa} {λ aa} {λ a aa}… L1 L2 L3 L4 L5 L6 L7 … w … w … w … w … w … w … w … … … … … … … … …

Recursive vs. Recursively Enumerable

Παρόμοιες παρουσιάσεις

Παρουσίαση με θέμα: "Recursive vs. Recursively Enumerable"— Μεταγράφημα παρουσίασης:

Παρόμοιες παρουσιάσεις

Σχετικά με το έργο

Σχόλια

Είσοδος

Σύνδεση μέσω των κοινωνικών δικτύων:

Recursive vs. Recursively Enumerable

Παρόμοιες παρουσιάσεις

Παρουσίαση με θέμα: "Recursive vs. Recursively Enumerable"— Μεταγράφημα παρουσίασης:

Παρόμοιες παρουσιάσεις

Σχετικά με το έργο

Σχόλια