lectures-merged.pdf

Course 6

e.g.

S→ aSbS | aS | c

W = aacbc ∈ L(G)?

S

| |

a a c b c

S

| | | |

a S b S - expand

|   |  |   |

a S b S - advance

| | | |

~~a S b S~~ - momentary insuccess

S

| | | |

a S b S

|   |  |   |

a S b S 

| |

c c