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

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

25 ответов

41 просмотр

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

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

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

30500 за редактор? )
Владимир
47
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Раз начали говорить про embassy, то присоединюсь со своими парой вопросов. 1) Есть ли сопоставимые аналоги для асинхронного кода в emdebbed? 2) Можно ли внутри задач embassy ...
NI_isx
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
1
Он в одиночку это дело запилил или была какая-то команда?
Aquinary
12
~ 2m21s  nix shell github:nixos/nixpkgs#stack ~  stack ghc -- --version error: … while calling the 'derivationStrict' builtin at /builtin/derivation.nix:...
Rebuild your mind.
6
Карта сайта