Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ)

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.

BNF & EBNF

Страница: 1

Сообщений 1 страница 3 из 3

1

  • Автор: Лис [Л]
  • Участник
  • Лис [Л]
  • Зарегистрирован: 2021-02-04
  • Приглашений: 0
  • Сообщений: 1027
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    5 дней 7 часов
  • Последний визит:
    2023-03-10 00:04:11

in total 42 syntactic notations while defining 77 grammars

2012, Vadim Zaytsev, BNF was Here: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions
   за деньги: https://dl.acm.org/doi/10.1145/2245276.2232090
   https://www.grammarware.net/text/2012/bnf-was-here.pdf

≜ delta equal to (при чём тут египетские пирамиды?)
≝ equals to by definition (недостаток значка - латинские буквы)
≡ identical to (это вроде самый русский знак, в том смысле, что он вроде бы как упоминался в ВУЗе как "тождественно равно")

«You’ll often see notations such as :=, ≡, ≜, or ≐ when the author is distinguishing equality from definition.»

В статье
https://ru.wikipedia.org/wiki/Знак_равенства
есть табличка с похожими знаками

---

empty sequence notation, that in the formal language theory is traditionally written as ε, λ, or ϵ
(ϵ = Greek Lunate Epsilon Symbol)
∅ - пустое множество - это другое. Множество не является последовательностью.

Чем это заменить на основе русского алфавита?

---

См. также
Вычитание регэкспов

Отредактировано Лис (2023-01-26 15:00:22)

0

2

  • Автор: Лис [Л]
  • Участник
  • Лис [Л]
  • Зарегистрирован: 2021-02-04
  • Приглашений: 0
  • Сообщений: 1027
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    5 дней 7 часов
  • Последний визит:
    2023-03-10 00:04:11

«Identifying grammar fragments related to one specific topic (i.e., statements) is commonly encountered in language documents,
but as of now, lacks complete technological support because few grammar manipulation frameworks have sufficiently advanced modularity.»

0

3

  • Автор: Лис [Л]
  • Участник
  • Лис [Л]
  • Зарегистрирован: 2021-02-04
  • Приглашений: 0
  • Сообщений: 1027
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    5 дней 7 часов
  • Последний визит:
    2023-03-10 00:04:11

https://www.sciencedirect.com/science/a … 2318302375

2018-11-15, Elizabeth Scott & Adrian Johnstone, GLL syntax analysers for EBNF grammars

we have implemented an EBNF GLL parser for Java

GLL is a worst-case cubic, recursive descent based parsing technique
which can be applied to all BNF grammars without the need for grammar modification.
...
grammar transformation has several disadvantages, in particular the extra nonterminals required to replace bracketing constructs create additional stack activity in the parser, iteration has to be transformed into either left or right recursion which can impact on the semantics of operators, and output structures such as derivation trees need to be converted to match the structure of the original grammar. If semantic actions are incorporated into the grammar in the top down translation style, then the position of these actions can be changed when a grammar is converted from EBNF to BNF.

Обратите внимание, что это кровавый передний край научной мысли. Когда форум начинался, этой технологии ещё не существовало.
В российских ВУЗах такому не учат (и не скоро ещё начнут, пока переведут, пока выучатся преподаватели, пока сделают обучающие материалы,
думаю лет 10-15 пройдёт).

Отредактировано Лис (2023-01-26 15:53:33)

0

Страница: 1