@fiore it means that each lhs can generate a rhs. so like "E -> a ; E -> E + E" would mean that it's a possibility that E -> E + E -> a + E -> a + E + E -> a + a + E -> a + a + a
run that in reverse and that's grammar recognition instead which is the main thing but the notation is about generation