Можно выступить в стиле "ребёнок познаёт мир" по грамматикам? Я только

Question

Можно выступить в стиле "ребёнок познаёт мир" по грамматикам? Я только

сегодня догадался, почему родственные вещи - регулярные выражения и контекстно-свободные грамматики описываются настолько непохожим образом, как регулярное выражение и BNF.

Всё дело в связывании имён: для раскрытия всего потенциала нерегулярной грамматики нужно какие-то термы привязывать к именам. А для типичного применения регулярных выражений этого делать не нужно.

При этом язык ANTLR4 даёт обе возможности, а в стандартной связке lex/yacc почему-то используются два принципиально разных языка.

#compilerdev #it #programming #russian

0

13.09.2023

15 ответов

22 просмотра

TOV_MULTIMASSO

Потому что в регулярках нет нетерминалов, да. И надо было придумать хоть какой-то интерфейс

0

13.09.2023

Yaroslav Schekin

Хмм... а Вам не кажется, что дело всего лишь в том, что регулярные выражения (и грамматики) почти никогда не используют для parsing, в отличие от? И наоборот, CFG никогда (?) не используют для того, для чего используются регулярки?

0

13.09.2023

Konstantin Romanov Автор вопроса

TOV_MULTIMASSO
Потому что в регулярках нет нетерминалов, да. И на...

Меня этот вопрос очень занимал — почему в теории автоматов всё элегантно выстроено в иерархию, а в языках регулярок, кс-грамматик и программ всё дико различается?

0

13.09.2023

Alexander Chichigin

Для пополнения "наивности" укажу ещё два очевидных факта: 1. при помощи BNF можно легко описывать и регулярные грамматики; 2. имена нужны чтобы описывать рекурсивные структуры (в виде плоского текста). В регулярных языках рекурсивных структур нет — имена не обязательны. Хотя на практике-то... 😏

0

13.09.2023

Konstantin Romanov Автор вопроса

Yaroslav Schekin
Хмм... а Вам не кажется, что дело всего лишь в том...

Они всё время используются для разбора.

0

13.09.2023

Konstantin Romanov Автор вопроса

Alexander Chichigin
Для пополнения "наивности" укажу ещё два очевидных...

Да, это я подразумевал, но не написал!

0

13.09.2023

Andrey

А может быть всё дело в том, что нотацию для регулярных выражений придумали лет на восемь раньше, чем BNF?

0

13.09.2023

Alexander Chichigin

Konstantin Romanov
Меня этот вопрос очень занимал — почему в теории а...

Тут скорее обычное различие теории и практики: в теории исследуются максимально "обрезанные" объекты, так что места для вариаций не остаётся. Но пользоваться такими объектами обычно весьма затруднительно (только доказывать про них что-то удобно). С точки зрения теории, особой разницы между Java, C#, Python и JavaScript нет, но на практике есть...

0

13.09.2023

Yaroslav Schekin

Konstantin Romanov
Они всё время используются для разбора.

Что, регулярные выражения? Именно для parsing? Где/как и, главное, почему? ;)

0

13.09.2023

Alex

Дело не в связывание, а в том, что у них разный исторический контекст. Хомский, вроде даже не информатикой занимался

0

13.09.2023

Viktor Shamparov