Кто-нибудь узнает это незнакомое обозначение?

У меня есть вопрос из теста в классе языков программирования, который меня смущает.

Дайте контекстно-свободную грамматику для создания следующего языка

L = { aibjck | 0 ‹= я ‹= j ‹= я + k }

Я совершенно не знаком с этим обозначением. Кажется, я не могу найти ничего в книге или своих заметках об этом, и я понятия не имею, как запросить ответ в Google.

Если вы узнали его, то как он называется и что означает?


person Nathan    schedule 05.12.2009    source источник


Ответы (2)


a^i просто означает повторение i раз. Таким образом, a^2 = aa, b^10 = bbbbbbbbbb и т. д.

person Claudiu    schedule 05.12.2009
comment
таааак, это должно означать, что a, c, ab, bc, abc, abc — все это строки на языке L. - person Nathan; 05.12.2009
comment
@Nathan: извините за копание могилы, но a нет в L, так как он не удовлетворяет i‹=j. - person Eran Zimmerman Gonen; 28.09.2011

Часто,

  • {} означает "набор"
  • | означает "такой, что"

Я понятия не имею, что такое a, b, c. i и j — неотрицательные числа, большие или равные нулю. Обычно эти буквы зарезервированы для целых чисел. Дело в том, что

i <= i + k

означает, что k также неотрицательно.

Если a, b и c — вещественные числа, то мне кажется, что L — это просто набор действительных чисел. Тем не менее, это кажется очень надуманным и сложным способом его определения. Это было бы чем-то вроде заговора доктора Зла с целью убить Остина Пауэрса.

Таким образом, у вас есть «множество a в степени i, умноженной на b в степени j, на время c в степени j, такое, что i, j и k положительны, а j больше или равно i ...» и так далее. .

person Ewan Todd    schedule 05.12.2009
comment
Почти. a, b и c являются терминальными символами в языке L. L в основном определяется как все строки из «a», за которыми следует «b», за которым следует «c», так что существует ноль или более «a», то есть одно и то же. или более из «b», и количество «а» и «с» вместе больше или равно количеству «b». - person Barry Kelly; 05.12.2009
comment
Интересно, Барри. Какое ключевое слово я ищу, чтобы узнать об этом? - person Ewan Todd; 05.12.2009