Что означает = *> в отношении контекстно-свободных грамматик? - PullRequest
4 голосов
/ 14 июня 2010

Я читал пару книг / онлайн-справочников по теории компилятора, и постоянно вижу, как этот конкретный оператор время от времени появляется (как видно здесь ), особенно когда текущая тема является контекстом. бесплатные грамматики. Что это значит? А чем он отличается от =>?

Пояснения с примерами, отличающими => от =*>, были бы наиболее полезными.

1 Ответ

5 голосов
/ 14 июня 2010

=> означает, что происходит за один шаг, а = *> - за ноль или более шагов (рефлексивное транзитивное замыкание => ).

...