(非終端記号, 確率) :-> (意味値 -> [終端記号または非終端記号])
こうですか?わかりません