Re: Стек ↑
eugzol в посте Metapractice (оригинал в ЖЖ)
Ну если он будет длинной со всю принимаемую прогу то точно хватит. Моя интуитивная прикидка утверждает, что хватит и длина_проги/2. Формально надо глянуть в теории или вывести аккуратно, ежели лезть слишком далеко.
Переполнение стека не документировано. Это задача отдельная — все недопустимые операции стекового автомата взять да понять что в применении к людям будут означать:
(1) Надо снять со стека операнд, а стек пуст
(2) Надо положить в стек операнд, а стек заполнен до предела
(3) Программа считана до конца, в стеке более одного элемента
(4) Программа считана до конца, в стеке нет элементов
...вроде всё
А вот, я понял! Обратная нотация в стеке ПРИНУЖДАЕТ СУБЪЕКТА ПОКА ЕМУ НЕ ДАДУТ В КОНЦЕ ГЛАГОЛ - ПРИНУЖДАЕТ ЕГО ЖДАТЬ! И этим ожиданием субъект как бы зафиксирован. Загипнотизирован.
Я бы по другому сказал. Когда глагол поступает ЭТО УЖЕ КОМАНДА есть :) Поскольку все объекты на месте/подготовлены уже. А так субъекта и обычная фраза ждать принуждает. Только он должен её "переварить" будет. А в постфиксной выдаче уже всё за него переварено и можно сразу бежать.
5 комментариев
сначала старые сначала новые
--Ага! А оптимальный размер стека?
--Ну если он будет длинной со всю принимаемую прогу то точно хватит. Моя интуитивная прикидка утверждает, что хватит и длина_проги/2. Формально надо глянуть в теории или вывести аккуратно, ежели лезть слишком далеко.
А м.б. спекулятивно все те же семь плюс-минус - т.е. от пяти до десяти элементов сделаем будет?
Переполнение стека не документировано. Это задача отдельная — все недопустимые операции стекового автомата взять да понять что в применении к людям будут означать:
(1) Надо снять со стека операнд, а стек пуст
(2) Надо положить в стек операнд, а стек заполнен до предела
(3) Программа считана до конца, в стеке более одного элемента
(4) Программа считана до конца, в стеке нет элементов
...вроде всё
Все, надо в ЧА аналоги где и только на аналогах брать-рассуждать. Иначе это только игра будет. Без практически приложений в моделирование.
--А вот, я понял! Обратная нотация в стеке ПРИНУЖДАЕТ СУБЪЕКТА ПОКА ЕМУ НЕ ДАДУТ В КОНЦЕ ГЛАГОЛ - ПРИНУЖДАЕТ ЕГО ЖДАТЬ! И этим ожиданием субъект как бы зафиксирован. Загипнотизирован.
--Я бы по другому сказал. Когда глагол поступает ЭТО УЖЕ КОМАНДА есть :)
Ну да.
Поскольку все объекты на месте/подготовлены уже. А так субъекта и обычная фраза ждать принуждает. Только он должен её "переварить" будет. А в постфиксной выдаче уже всё за него переварено и можно сразу бежать.
Не, не. У субъекта его странс-деривационный поиск на автомате работает. И если быстрее подачи слов это поиск работает - субъект никого/ничего ждать не будет. А обратная нотация, фактически субъекту этот транс-д-поиск блокирует.
--Ну если он будет длинной со всю принимаемую прогу то точно хватит. Моя интуитивная прикидка утверждает, что хватит и длина_проги/2. Формально надо глянуть в теории или вывести аккуратно, ежели лезть слишком далеко.
А м.б. спекулятивно все те же семь плюс-минус - т.е. от пяти до десяти элементов сделаем будет?
Переполнение стека не документировано. Это задача отдельная — все недопустимые операции стекового автомата взять да понять что в применении к людям будут означать:
(1) Надо снять со стека операнд, а стек пуст
(2) Надо положить в стек операнд, а стек заполнен до предела
(3) Программа считана до конца, в стеке более одного элемента
(4) Программа считана до конца, в стеке нет элементов
...вроде всё
Все, надо в ЧА аналоги где и только на аналогах брать-рассуждать. Иначе это только игра будет. Без практически приложений в моделирование.
--А вот, я понял! Обратная нотация в стеке ПРИНУЖДАЕТ СУБЪЕКТА ПОКА ЕМУ НЕ ДАДУТ В КОНЦЕ ГЛАГОЛ - ПРИНУЖДАЕТ ЕГО ЖДАТЬ! И этим ожиданием субъект как бы зафиксирован. Загипнотизирован.
--Я бы по другому сказал. Когда глагол поступает ЭТО УЖЕ КОМАНДА есть :)
Ну да.
Поскольку все объекты на месте/подготовлены уже. А так субъекта и обычная фраза ждать принуждает. Только он должен её "переварить" будет. А в постфиксной выдаче уже всё за него переварено и можно сразу бежать.
Не, не. У субъекта его странс-деривационный поиск на автомате работает. И если быстрее подачи слов это поиск работает - субъект никого/ничего ждать не будет. А обратная нотация, фактически субъекту этот транс-д-поиск блокирует.
А обратная нотация, фактически субъекту этот транс-д-поиск блокирует.
Да, точно. С нижних листов PT (parse tree) подача начинается. А ТДП это как раз же галлюцинирования листов от текущего узла вниз есть. А в случае обратной нотации ниже некуда.
Да, точно. С нижних листов PT (parse tree) подача начинается. А ТДП это как раз же галлюцинирования листов от текущего узла вниз есть. А в случае обратной нотации ниже некуда.
--Ага! А оптимальный размер стека?
--Ну если он будет длинной со всю принимаемую прогу то точно хватит. Моя интуитивная прикидка утверждает, что хватит и длина_проги/2. Формально надо глянуть в теории или вывести аккуратно, ежели лезть слишком далеко.
--А м.б. спекулятивно все те же семь плюс-минус - т.е. от пяти до десяти элементов сделаем будет?
Так нет, суть же в том чтобы как раз загрузить прогу глубоко куда там субъекту положено? В начале семинара стоят столы для рисования у всех на виду, и только через полчаса за них садятся демонстрационные субъекты и начинают чего-то рисовать. То есть всё самое интересное как раз за пределами этих 7+-2 происходить должно.
--Переполнение стека не документировано. Это задача отдельная — все недопустимые операции стекового автомата взять да понять что в применении к людям будут означать:
(1) Надо снять со стека операнд, а стек пуст
(2) Надо положить в стек операнд, а стек заполнен до предела
(3) Программа считана до конца, в стеке более одного элемента
(4) Программа считана до конца, в стеке нет элементов
...вроде всё
--Все, надо в ЧА аналоги где и только на аналогах брать-рассуждать. Иначе это только игра будет. Без практически приложений в моделирование.
(1) Надо снять со стека операнд, а стек пуст
Субъект фрустрирован, невыполнимая команда.
(2) Надо положить в стек операнд, а стек заполнен до предела
Старое забывается.
(3) Программа считана до конца, в стеке более одного элемента
Ожидается команда к выполнению. Если в текущем акте ружьё не выстрелило, значит надо продолжать играть.
(4) Программа считана до конца, в стеке нет элементов
Вырожденный случай — такое может быть только если программы не было (программа нулевой длины).
--Ну если он будет длинной со всю принимаемую прогу то точно хватит. Моя интуитивная прикидка утверждает, что хватит и длина_проги/2. Формально надо глянуть в теории или вывести аккуратно, ежели лезть слишком далеко.
--А м.б. спекулятивно все те же семь плюс-минус - т.е. от пяти до десяти элементов сделаем будет?
Так нет, суть же в том чтобы как раз загрузить прогу глубоко куда там субъекту положено? В начале семинара стоят столы для рисования у всех на виду, и только через полчаса за них садятся демонстрационные субъекты и начинают чего-то рисовать. То есть всё самое интересное как раз за пределами этих 7+-2 происходить должно.
--Переполнение стека не документировано. Это задача отдельная — все недопустимые операции стекового автомата взять да понять что в применении к людям будут означать:
(1) Надо снять со стека операнд, а стек пуст
(2) Надо положить в стек операнд, а стек заполнен до предела
(3) Программа считана до конца, в стеке более одного элемента
(4) Программа считана до конца, в стеке нет элементов
...вроде всё
--Все, надо в ЧА аналоги где и только на аналогах брать-рассуждать. Иначе это только игра будет. Без практически приложений в моделирование.
(1) Надо снять со стека операнд, а стек пуст
Субъект фрустрирован, невыполнимая команда.
(2) Надо положить в стек операнд, а стек заполнен до предела
Старое забывается.
(3) Программа считана до конца, в стеке более одного элемента
Ожидается команда к выполнению. Если в текущем акте ружьё не выстрелило, значит надо продолжать играть.
(4) Программа считана до конца, в стеке нет элементов
Вырожденный случай — такое может быть только если программы не было (программа нулевой длины).
Все почти что понял :)
То есть всё самое интересное как раз за пределами этих 7+-2 происходить должно.
Ну это - да.
Ну это - да.