Generalisierte Straight-Line-Programme und deren Ausgewogenheit

Generalisierte Straight-Line-Programme (GSLPs) erweitern klassische Straight-Line-Programme (SLPs) um Regeln der Form A →x, wobei x ein Programm in einer Turing-vollständigen Sprache ist, dessen Ausgabe eine Sequenz von Variablen ist. Es wird gezeigt, dass balancierbare GSLPs in linearer Zeit in äquivalente GSLPs mit logarithmischer Höhe umgewandelt werden können, ohne ihre asymptotische Größe zu erhöhen.