initialDocLR0 :: Grammar -> DocLR0
initialDocLR0 (Grammar g) =
  DocLR0
  { slide   = 0
  , grammar = Doc (map (\prod -> Doc (map (\sym -> Doc sym []) prod) []) g) []
  , st      = Doc ([],[]) []
  , trans   = Doc [] []
  }
initialDocLR0 :: Grammar -> DocLR0
initialDocLR0 (Grammar g) =
  DocLR0
  { slide   = 0
  , grammar = Doc (map (\prod -> Doc (map (\sym -> Doc sym []) prod) []) g) []
  , st      = Doc ([],[]) []
  , trans   = Doc [] []
  }
initialDocLR0 (Grammar g) =
  DocLR0
  { slide   = 0
  , grammar = Doc (map (\prod -> Doc (map (\sym -> Doc sym []) prod) []) g) []
  , st      = Doc ([],[]) []
  , trans   = Doc [] []
  }