Детерменированный конечный автомат, построенный по LR(1)-автомату следующим образом:
- Формируемый автомат считать исходным LR(1)-автоматом
- Пока в формируемом автомате два множества (состояния) LR(1)-пунктов имеют одинаковое множество ядер, то объединить эти множества в одно, назвать полученный автомат формируемым