Эти грамматики оставлены рекурсивными и почему?

Question

У меня есть эти грамматики для решения левой рекурсии. Но почему эти грамматики остаются рекурсивными? Они не следуют схеме A -> Aa | b:

1., S → 0S1 | 01

2., S → + SS | * SS

Answer 1

Эти грамматики оставлены рекурсивными

Нет.

и почему?

В обоих случаях вы никогда не сможете достичь S (который является единственным нетерминалом) без использования терминала первым. В первой грамматике единственное вхождение S предшествует терминал 0 и во втором каждый случай либо предшествует + или же *,