A transition tr with symbol in input is valid if :
sigma=T, stack not empty, top fresh or top equals to symbol in input
sigma=i , register i not empty and available, top fresh or top equals to symbol in input
sigma=square
Z=i, stack and register i not empty, top stack = top register i
Z=?