Если вы находитесь в состоянии синтаксического анализатора, где вы должны сдвинуться, но ни один из элементов в состоянии не имеет точку прямо перед текущим терминалом, это означает, что терминал не может отображаться здесь легально, и у вас есть ошибка разбора. Здесь нет необходимости исследовать нетерминалы после точек, поскольку при построении состояния синтаксического анализатора вы бы уже расширили эти нетерминалы, чтобы увидеть, не связано ли какое-либо из них с производством, которое начинается с данного нетерминала.
( Я не уверен, что состояние парсера, которое вы здесь описываете, могло бы действительно существовать, если нетерминал T. Если нетерминал T, то для каждого произведения вида T → ω вы также увидите T → · ω как одно из производство изделий в гос.)