@Override
public GraphViz generatePDFcode(String pdfPath) {
GraphViz gv = new GraphViz(pdfPath);
try {
gv.addln("digraph G {");
if (this.isDeterministic()) {
for (int j = 0; j < this.tapes.length; j++) {
this.initialize();
this.input = this.tapes[j];