185 похожих чатов

Где взять информацию о том, что грамматика С++ контекстно независима?

25 ответов

45 просмотров

https://blog.reverberate.org/2013/08/parsing-c-is-literally-undecidable.html

Kelbon- Автор вопроса
suhr
https://blog.reverberate.org/2013/08/parsing-c-is-...

как связаны шаблоны и грамматика?

Kelbon
как связаны шаблоны и грамматика?

из-за неоднозначности a * b;, которая тянется ещё с сишки

Kelbon- Автор вопроса
Алексей
из-за неоднозначности a * b;, которая тянется ещё ...

эта неоднозначность не на уровне грамматики

Алексей
из-за неоднозначности a * b;, которая тянется ещё ...

просто в крестах ещё усугубляется шаблонами

Kelbon- Автор вопроса

На уровне грамматики нет типов и умножений

а что есть?

Kelbon
На уровне грамматики нет типов и умножений

ну вот на уровне грамматики есть правила для различных конструкций, которые выдают различные деревья разбора для объявления поинтера и для умножения разные правила, если что и тут без знания что такое a нельзя выбрать корректное правило, а в C++ попытка узнать что такое a может привести к резолву шаблонов, которое тьюринг полное

КС-грамматика -- это всего лишь грамматика, где в левой части всех правил единственный нетерминал. Все правила "синтаксической грамматики" Си++ именно таковы. Хотя не все правила Си++ описываются КС-грамматикой. Но это уже несколько другое и даже в более простых языках дело обстоит так же.

Алексей
ну вот на уровне грамматики есть правила для разли...

Это не контекстная зависимость, а неоднозначность грамматики

Алексей
а что есть?

Есть правильные последовательности символов и неправильные.

Sergey Sverdlov
Это не контекстная зависимость, а неоднозначность ...

А контекстно-зависимые ключевые слова вписываются в принципы КС-грамматики?

Sergey Sverdlov
Есть правильные последовательности символов и непр...

ну вот тут сообщением выше про нетерминалы какие-то говорилось

Алексей
ну вот тут сообщением выше про нетерминалы какие-т...

Жжёте! В чате про компиляторы удивляться нетерминалам...

Sergey Sverdlov
Это не контекстная зависимость, а неоднозначность ...

Язык a^n b^n c^n можно тоже приблизить контекстно-свободной (даже регулярной!) грамматикой, и затем считать символы отдельным проходом.

Sergey Sverdlov
Это не контекстная зависимость, а неоднозначность ...

давай иначе, парсинг крестов зависит от контекста?

Sergey Sverdlov
Это не контекстная зависимость, а неоднозначность ...

Спасибо за замечание, раньше не задумывался. А есть примеры яп с контекстно-зависимыми грамматиками?

Sergey Sverdlov
Можно. И что?

Проведи аналогию с С++.

Sergey Sverdlov
Жжёте! В чате про компиляторы удивляться нетермина...

я скорее удивляюсь правильным и неправильным последовательностям символов, потому что грамматики всё таки не только (и не столько про это)

Алексей
я скорее удивляюсь правильным и неправильным после...

Грамматики Хомского исключительно и только про это.

Danya🔥
А контекстно-зависимые ключевые слова вписываются ...

Я подумал и пришел к выводу что да Весь КС-грамматика это про независимость нетерминалов, а не терминалов

Константин Владимиров ровно про это говорил на C++Russia

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта