disable analysis tab when not validated
error checking selects 1 symbol before
deep loop analyse
generate machine and assign numbers