Graphs, Strings, Languages and Boolean Logic
Graphs, Strings, Languages and Boolean Logic – p.1/41
Graphs, Strings, Languages and Boolean Logic Graphs, Strings, - - PowerPoint PPT Presentation
Graphs, Strings, Languages and Boolean Logic Graphs, Strings, Languages and Boolean Logic p.1/41 Graphs An undirected graph, or simple a graph, is a set of points with lines connecting some points. The points are called nodes or
Graphs, Strings, Languages and Boolean Logic – p.1/41
Graphs, Strings, Languages and Boolean Logic – p.2/41
❥ 5 ❥ 2 ❥ 1 ❥ 3 ❥ 4 ❩❩❩❩❩ ❩ ✚✚✚✚✚ ✚ ☞ ☞ ☞ ☞ ☞ ☞ ▲ ▲ ▲ ▲ ▲▲ Graph (a) ❥ 3 ❥ 1 ❥ 2 ❥ 4
❅ ❅ ❅ Graph (b)
Graphs, Strings, Languages and Boolean Logic – p.3/41
Graphs, Strings, Languages and Boolean Logic – p.4/41
Graphs, Strings, Languages and Boolean Logic – p.5/41
Graphs, Strings, Languages and Boolean Logic – p.6/41
Graphs, Strings, Languages and Boolean Logic – p.7/41
Graphs, Strings, Languages and Boolean Logic – p.8/41
G=({1,2,3,4,5},{(1,2),(2,3),(3,4),(4,5),(5,1)})
Graphs, Strings, Languages and Boolean Logic – p.9/41
between them
Graphs, Strings, Languages and Boolean Logic – p.10/41
✫✪ ✬✩
Boston
✫✪ ✬✩
San Francisco 378
✫✪ ✬✩
NeyYork 104
✫✪ ✬✩
Oswego
◗◗◗◗◗◗◗◗◗ ◗
378
✫✪ ✬✩
Ithaca 98
Graphs, Strings, Languages and Boolean Logic – p.11/41
Graphs, Strings, Languages and Boolean Logic – p.12/41
❥ ❥ ☞ ☞ ☞ ☞ ☞ ❥ ❅ ❅ ❥ ▲ ▲ ▲ ▲ ▲ ❥
▲ ▲ ▲ ▲ ❅ ❅ ❅ ❅ ❥ ❅ ❅
Subgraph G
Graphs, Strings, Languages and Boolean Logic – p.12/41
Graphs, Strings, Languages and Boolean Logic – p.13/41
Graphs, Strings, Languages and Boolean Logic – p.14/41
Graphs, Strings, Languages and Boolean Logic – p.15/41
❥ ❥ ❥
❅ ❅ ❥ ❅ ❅ ▲ ▲ ▲▲
A path
❥ ❥ ❅ ❅ ▲ ▲ ▲▲ ❥ ❥
❅ ❅
A cycle
❥
❅ ❥
❅ ❥
❅ ❥ ❥ ❥ ❥
A tree
Graphs, Strings, Languages and Boolean Logic – p.16/41
Graphs, Strings, Languages and Boolean Logic – p.17/41
❥
6
✲ ❥
1
❄ ✲ ❥
5
❅ ❅ ❅ ■ ❥
4
❥
2
✛ ❄ ❥
3
Graphs, Strings, Languages and Boolean Logic – p.18/41
Graphs, Strings, Languages and Boolean Logic – p.19/41
G=({1,2,3,4,5,6},{(1,2),(1,5),(2,1),(2,4),(5,6),(6,1),(6,3)})
Graphs, Strings, Languages and Boolean Logic – p.20/41
Graphs, Strings, Languages and Boolean Logic – p.21/41
Graphs, Strings, Languages and Boolean Logic – p.22/41
✫✪ ✬✩
scissors
✫✪ ✬✩
paper
✲ ✫✪ ✬✩
stone
❅ ❅ ❅ ❅ ❅ ■
Graphs, Strings, Languages and Boolean Logic – p.23/41
Graphs, Strings, Languages and Boolean Logic – p.24/41
Graphs, Strings, Languages and Boolean Logic – p.25/41
Σ1 = {0, 1} Σ2 = {a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z} Γ = {0, 1, x, y, z}
Graphs, Strings, Languages and Boolean Logic – p.26/41
if Σ1 = {0, 1} then 01001 is a string over Σ1 if Σ2 = {a, b, c, . . . , z} then abracadabra is a string over Σ2
Graphs, Strings, Languages and Boolean Logic – p.27/41
Graphs, Strings, Languages and Boolean Logic – p.28/41
Graphs, Strings, Languages and Boolean Logic – p.29/41
Graphs, Strings, Languages and Boolean Logic – p.30/41
Graphs, Strings, Languages and Boolean Logic – p.31/41
discriminates strings x ∈ L from strings in y ∈ Σ∗ and y ∈ L. Examples language specification mechanisms?
any string x ∈ Σ∗ decides whether x ∈ L or x ∈ L. Examples language recognition mechanism?
and Σ2, f : Σ1 → Σ2 a function and F : Σ∗
1 → Σ∗ 2 the semigroup
homomorphism induced by f. Device a translation mechanism T : L1 → L2 that preserves the semigroup structures of Σ∗
1 and Σ∗ 2 on
L1 and L2.
Graphs, Strings, Languages and Boolean Logic – p.32/41
Graphs, Strings, Languages and Boolean Logic – p.33/41
Graphs, Strings, Languages and Boolean Logic – p.34/41
Graphs, Strings, Languages and Boolean Logic – p.35/41
“the sun is shining and today is Monday"
“the sun is shining or today is Monday"
Graphs, Strings, Languages and Boolean Logic – p.36/41
Graphs, Strings, Languages and Boolean Logic – p.37/41
Graphs, Strings, Languages and Boolean Logic – p.38/41
Graphs, Strings, Languages and Boolean Logic – p.39/41
Graphs, Strings, Languages and Boolean Logic – p.40/41
Graphs, Strings, Languages and Boolean Logic – p.41/41