don't need alphabet to check for 0:0 (epsilon_tag)