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

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

25 ответов

15 просмотров

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

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

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

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
50
читать файл максимально быстро? странный вопрос))
zamtmn
53
How to create an OS in C? what to study?
Linus
18
Всем доброго вечера! Хочу поделиться своим злоключением с человеком, который, как оказалось сюда тоже скидывал свое резюме. Жаль, что я вашу группу не нашел раньше… человек ки...
Роман Ахмедзянов
4
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
Компания Elif ищет менеджера проектов, который будет заниматься поиском и ведением новых проектов. Прежде чем приступить к работе, вам нужно пройти наш недельный курс, где вы ...
Elif
5
Привет, кто может сделать юзербота с апи? Задачи: - создавать группы - создавать каналы - задавать для созданных каналов аватарку или эмоджи, имя группы - добавлять в группы...
Lencore
11
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
@HemulGM Параметры у AddStream поменялись? Несостыковка какая-то
Катерина Свиридова
12
Народ, с прошедшими и наступающими. Ща полную ересь прогоню, но фишка в том, что это не обычная алкогольная ересь Либера, а я реально хз что делать. Сайт с 2012-го года Косяк...
Alexey Liber
2
Карта сайта