Para generar un autómata LR(0) sobre la base de una gramática G, primero se debe definir: