Правая контекстная нотация [DCG]

На этом сайте я нашел часть, которая объясняет, как создать контекстную нотацию правой руки с использованием DCG

A → ε | a A

Head, [T_1,...,T_n] --> Body.

кто-нибудь, помогите мне разобраться в этом методе на примере и проиллюстрируйте его преимущества для анализа контекстно-свободной грамматики.

2 ответа

Посмотрите на нотацию полуконтекста в DCG Primer: это хорошо объяснено, с примерами

Это обозначение называется полуконтекстом. Смотрите, например, этот ответ. С его помощью вы получаете строго больше возможностей, чем контекстно-свободные грамматики. На самом деле это уже тип 0.

Другие вопросы по тегам