November 10th, 2021

О границах лексики, синтаксиса и семантики

4.3. О границах лексики, синтаксиса и семантики
http://ermak.cs.nstu.ru/trans/Trans431.htm
http://ermak.cs.nstu.ru/trans/Trans432.htm
http://ermak.cs.nstu.ru/trans/Trans433.htm



Напомним, что каждая фаза анализа программы имеет свою формальную систему представления (по сути, программирования):

лексический анализ – конечные автоматы;
синтаксический анализ – формальные грамматики;
семантический анализ – уникальная внутренняя модель данных, создаваемая компьютерной программой (по формальной сути – формальная система, эквивалентная машине Тьюринга).

Любой формальный аппарат имеет определенные границы применимости, выше которых «ему не дано подняться» в силу его собственной структуры и сложности.
То есть определенные идеи в такой формальной системе просто не представимы.
Это свойство системы можно назвать моделирующей способностью.

С другой стороны, для каждой формальной системы существуют проблемы, которые разрешимы в них в общем виде: для любой такой системы существует формальный метод (алгоритм) их решения.
Это свойство называется разрешимостью.

(*) Очевидно, чем больше моделирующая способность системы, тем меньше в ней разрешимых проблем, то есть тем меньше она может быть подвержена автоматизации и программной реализации.
Конечные автоматы обладают в этом ряду самой низкой моделирующей способностью и самой высокой разрешимостью.

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

---
(мой комментарий в комментах)

Понимание как интерпретирующая деятельность.

Статью не читал еще, но заголовок очень верный. К пониманию именно так и надо относиться как к деятельности по интерпретации. Заметьте, статья почти 40-летней давности!

Понимание это идентификация/создание моделей. (ссылка на мой текст внизу)
В некотором смысле это процесс интерпретации.
Поэтому я называю AGI интерпретатором интерпретаторов - 4-я проекция Футамуры-Ершова-Alex_Bur(deep_econom).

Понимание как моделирующая деятельность.
Понимание как деятельность по моделированию, которая включает в себя и интерпретацию.
Так точнее.

Статья.
Демьянков В.З. Понимание как интерпретирующая деятельность. с. 58-67
1983г.!!! в журнале Вопросы языкознания, № 6, с. 58-67
https://vja.ruslang.ru/archive/1983-6.pdf

ps1
1. тут эта же статья
Демьянков В.З. Понимание как интерпретирующая деятельность.
http://www.infolex.ru/Napr5.html

Демьянков Валерий Закиевич
Институт языкознания РАН, Отдел теоретического и прикладного языкознания, Сектор теоретического языкознания, главный научный сотрудник, с 1 января 1998
доктор филологических наук с 1986 года
профессор по кафедре с 28 марта 1991 г.
https://istina.msu.ru/profile/vdemiank/

2. Понимание понимания. Что такое понимание?
https://deep-econom.livejournal.com/58862.html

ps2
https://deep-econom.livejournal.com/881573.html
Синтаксис.
Синтаксис суть форма, порядок, структура.
--
Ниже аллюзия, но верно по существу.

Нет ничего кроме Синтаксиса.
Нет ничего сущего, кроме Синтаксиса.
Таков Синтаксис.
Нет Синтаксиса, кроме Него — Творца каждой вещи.
---

Причинно-следственная связь суть синтаксис.
Интерпретация суть синтаксис.
Синтаксис объекта + Интерпретация= Модель.

Логика как переписывание цепочек символов. Логика суть синтаксис.

аналоги Zoom для конференций

«Яндекс» запустил «Телемост» — похожий на Zoom сервис видеозвонков, к которым можно присоединиться по ссылке
К звонку могут одновременно присоединиться до 35 человек, а время не ограничено.
Сервис работает в «Яндекс.Браузере» и Google Chrome, а также в приложениях «Яндекс.Диск» и «Яндекс.Почта», отдельное приложение скачивать не нужно.

https://telemost.yandex.ru/
--

Mail.ru Group запустила сервис видеозвонков, к которым можно присоединиться без регистрации.
Сервис поддерживает групповые звонки с количеством участников до 100 человек. Чтобы подключиться к звонку, нужно перейти по ссылке из приглашения — её может создать любой пользователь с аккаунтом в «Почте Mail.ru». При этом остальные участники беседы могут участвовать в ней, не регистрируясь и не скачивая приложение.
https://calls.mail.ru/
--