В автомате LR(0)-пунктов базисными переходами называется переходы из состояния в состояния из согласно функции перехода

если

То есть переходы с “пометками”, не равными