PCGS a restartovací automaty zachovávající správnost

Abstrakt

Jde o podstatně vylepšenou transformaci PCGS do restartovacích automatů