digraph {
kh1 [shape=record,label=<kh<SUB>1</SUB>>];
kh0 [shape=record,label=<kh<SUB>0</SUB>>];
kg [shape=record];
kf [shape=record];
kg -> kh1 [label=<ts<SUB>1</SUB>>];
kh1 -> kf [label=<ys<SUB>1</SUB>>];
kg -> kh0 [label=<ts<SUB>0</SUB>>];
kh0 -> kf [label=<ys<SUB>0</SUB>>];
kf -> kg [label=xs];
}
