这些箭头操作符在上下文无关语法中是什么?

jfi*_*isk 5 context-free-grammar computation-theory

我正在研究无上下文语法,我很好奇带有星形的箭头和没有星形的箭头在f和g部分中的含义:

  • f是假的.
  • g是真的.

在此输入图像描述

jwo*_*der 11

"x⇒y"表示y可以在一些语法生成的应用中从x派生.在⇒上加上一个星号意味着y是通过零或更多(但有限多个!)某些序列生成的应用程序从x派生的.