Що таке предикат: визначення і приклади

У синтаксисі

Синтаксичний П вказує синтаксичну обґрунтованість застосування твори у формальній граматиці і аналогічний семантичним предикату, що визначає семантичну дійсність застосування твори. У своїй первісній реалізації синтаксичні предикати мали форму «(α)?» і могли з’являтися тільки на лівому краю твори. Необхідним синтаксичним умовою α може бути будь-який дійсний контекстно-вільний фрагмент граматики.

Більш формально синтаксичний предикат представляє собою форму виробничого перетину, використовуваного в специфікаціях парсера або у формальних граматиках. У цьому сенсі термін має значення математичної функції індикатора. Якщо p1 та p2 є виробничими правилами, мову, згенерований як p1, так і p2, є їх заданими перетином.

Дивіться також:  Що таке агітація: значення слова

Мудруємо граматики виразів (PEGs), винайдені Брайаном Фордом, розширюють ці прості П, дозволяючи їм з’являтися де завгодно в межах виробництва нарівні з “не предикатами”. Більш того, Форд винайшов процедуру аналізу для обробки цих граматик у лінійному часі.

Цей підхід реалізується в ANTLR версії 3, яка використовує детерміновані кінцеві автомати для перегляду. Це може вимагати тестування предиката для вибору між синтаксичними переходами (так званий «перед-LL (*)» синтаксичний аналіз).