Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax }...

10

description

Domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A: { book buys hold lane year beast ginger search } 4A: {: { ant big bus car has } TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]),...

Transcript of Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax }...

Page 1: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…
Page 2: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Initial domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

Page 3: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 4: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 5: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 6: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 7: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 8: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 9: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains

1A: { ant big bus car has }

1D: { book buys hold lane year }

2D: { symbol syntax }

3A: { book buys hold lane year beast ginger search }

4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), . . .

Page 10: Initial domains 1A: { ant big bus car has } 1D: { book buys hold lane year } 2D: { symbol syntax } 3A:…

Domains1A: { ant big bus car has }1D: { book buys hold lane year }2D: { symbol syntax }3A: { book buys hold lane year beast ginger search }4A: {: { ant big bus car has }

TDA = { (1A, 1A[1] = 1D[1]), (1A, 1A[3] = 2D[1]), (1D, 1D[3] = 3A[1]), (2D, 2D[3] = 3A[3]), (1D, 1A[1] = 1D[1]), (2D, 1A[3] = 2D[1]), (3A, 1D[3] = 3A[1]), (3A, 2D[3] = 3A[3]) (2D, 2D[5] = 4A[1]) (4A, 2D[5] = 4A[1]))