Visibly Pushdown Automata
VPA
Query
Input
<html><body><title>foo</title></body></html>
Machine
# M = (Q, Q_in, G, d, Q_F, S_c, S_r, S_i) # # Qa{a,b,c,d,e,f} Qi{a} Qf{a} dt{c[a,<html>,b,A]} dt{c[b,<body>,c,B]} dt{c[c,<title>,d,C]} dt{c[c,<title>,e,B]} dt{c[c,<title>,f,B]} dt{i[d,foo,e]} dt{r[e,</title>,C,c]} dt{r[c,</body>,B,b]} dt{r[b,</html>,A,a]} Sc{<html>,<body>,<title>} Sr{</html>,</body>,</title>} Si{foo,bar,yay}