b
строится DAG разбора
Size: a a a
2020 October 16
b
если в твоем DAG разборе появляются циклы
b
то все эти циклы это разные варианты разбора
b
это уже не DAG. но мы не и парсим дальше
b
даже если как в твоих примерах оно приведет к одинаковому знаку
b
дедуктор в логосе (потому что это уже не парсер делает, а дедуктор)
b
дедуктор не обязан разбирать и формально доказывать всякую хуйню
b
он просто берет и разбирает твои пропозиции, которые есть в грамматическом графе
b
грамматический граф просто сильно связан с лексическим copy–on–write графом
b
потому что ведь что реально меняется это closure и у тебя в разных частях текста совсем разные знаки могут быть
b
там может быть непонятно например, ты говоришь о каком–то знаке или говоришь о пропозиции, но это можно решить как 2SAT
ΑZ
Ты скован своими моральными установками
ну-ну
ΑZ
а почему я не могу медиа скинуть
потому что войсы
b
но скриншоты то мне можно скинуть??
b
зачем все отключать
ΑZ
но скриншоты то мне можно скинуть??
ну они вместе с войсами под одной галкой Media идут
b
я же не буду войсы через картинки отправлять? стенограммой
b
ну они вместе с войсами под одной галкой Media идут
там можно гранулировать
ΑZ
там можно гранулировать
нельзя
b
бля не гони дай я скриншот скину