sphinxjp.themes.revealjs
¶
TDDB44/TDDD55 Compiler Construction
Lecture 7 - Example
Created by
Martin Sjölund
. Press s for presenter mode and presentation notes.
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l}"];
I1 [style=invis, xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [style=invis, xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [style=invis, label=" <list>"];
I1 -> I2 [style=invis, label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-1624f6d45981c6343ab70a68d8c0cc8a476d0f3c.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l}"];
I1 [style=invis, xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [style=invis, xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [style=invis, label=" <list>"];
I1 -> I2 [style=invis, label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-b365c07d472935f44f77f9193834a10ccce63cd7.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [style=invis, xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [style=invis, xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [style=invis, label=" <list>"];
I1 -> I2 [style=invis, label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-398504e96e6ec8a263e76215a22c1c1504f753b2.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [style=invis, xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [style=invis, xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [style=invis, label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-1ee652423a839e0e712a768be69100ed31d954a6.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [style=invis, xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [style=invis, label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-d32699490956c159512a3e57bad1ad9c785985ac.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [style=invis, xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-32c26cce9f8df5139e574ee4dce21226f4db07ff.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-755bc52170406a0395c39d85c365eb279ef5dbda.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-785c47e151ea7b46c75d3ad39621589a7707236d.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [label=" a"];
I2 -> I4 [label=" b"];
I0 -> I3 [label=" a"];
I0 -> I4 [label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-149e32c67de8c6c964bfa9d1b2cdd5446cc64721.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [label=" a"];
I2 -> I4 [label=" b"];
I0 -> I3 [label=" a"];
I0 -> I4 [label=" b"];
I2 -> I5 [label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-8debd4e93f85b078edade6f0c89138d92566c94c.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l||\<element\> → • a\l|\<element\> → • b\l}"];
I3 [xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [label=" a"];
I2 -> I4 [label=" b"];
I0 -> I3 [label=" a"];
I0 -> I4 [label=" b"];
I2 -> I5 [label=" <element>"];
I0 -> I6 [label=" <element>"];
}](_images/graphviz-c6197011cf8b0eebc97ff7c01a5b3e8cded24e20.svg)
![digraph G {
graph [fontname = "Courier New"];
node [shape=record, fontname = "Courier New"];
edge [fontname = "Courier New"];
Grammar [xlabel="G", label="{0. \<SYS\> \ → \<list\> ⊢\l|1. \<list\> → \<list\> , \<element\>\l|2.\ \ \ \ \ \ \ \ \| \<element\>\l|3. \<element\> → a\l|4.\ \ \ \ \ \ \ \ \ \ \ \| b\l}"];
I0 [xlabel=<I<sub>0</sub>>, label="{\<SYS\> → • \<list\> ⊢\l||\<list\> → • \<list\> , \<element\>\l|\<list\> → • \<element\>\l|\<element\> → • a\l|\<element\> → • b\l}"];
I1 [xlabel=<I<sub>1</sub>>, label="{\<SYS\> → \<list\> • ⊢\l|\<list\> → \<list\> • , \<element\>\l}"];
I2 [xlabel=<I<sub>2</sub>>, label="{\<list\> → \<list\> , • \<element\>\l}"];
I3 [style=invis, xlabel=<I<sub>3</sub>>, label="{\<element\> → a •\l}"];
I4 [style=invis, xlabel=<I<sub>4</sub>>, label="{\<element\> → b •\l}"];
I5 [style=invis, xlabel=<I<sub>5</sub>>, label="{\<list\> → \<list\> , \<element\> •\l}"];
I6 [style=invis, xlabel=<I<sub>6</sub>>, label="{\<list\> → \<element\> •\l}"];
I0 -> I1 [label=" <list>"];
I1 -> I2 [label=" ,"];
I2 -> I3 [style=invis, label=" a"];
I2 -> I4 [style=invis, label=" b"];
I0 -> I3 [style=invis, label=" a"];
I0 -> I4 [style=invis, label=" b"];
I2 -> I5 [style=invis, label=" <element>"];
I0 -> I6 [style=invis, label=" <element>"];
}](_images/graphviz-ee4ef054254ddad9fce3d3fa3c9f69833a657170.svg)