1. Я говорю про самое низкоуровневое и минимальное ядро максимально платформо-независимой операционной системы, которую можно встроить в любую платформу.
Я говорю в контексте создания метаязыка. Для этого нужен интерпретатор, у интерпретатора должны быть какието начальные базовые операции, на которых будут построены все остальные конструкции.
Начальные операции производятся на бесструктурных данных. Для этого и нужен Выделятор, чтобы осуществлять начальное структурирование - создание обособленных сущностей.
--- вспоминаем это--- рабочая гипотеза для обдумывания https://deep-econom.livejournal.com/593410.html любые методы/способы абстрагирования основаны на комбинации двух базовых операциях абстрагирования тождественно/нетождественно - обозначим {=,≠} нам нужна пара символов {0,1} и пара операций {=,≠}
итак, чтобы вообще все сделать, нам требуются - набор различий (достаточно 0 и 1) - умение из различий конструировать упорядоченные пары - из упорядоченных пар мы вообще можем сконструировать все что угодно, ВСЁ!
ну нам нужны еще какието аксиомы равенства, аксиомы эквивалентности может быть это должны быть остенсивные определения, вычислимые определения, операционные определения, интерпретируемые определения
Создание имён. Выделение памяти. 8.1. Обозначение Выделятора. Обозначим "Markup" - разметка.
Возьмём классическую функцию malloc(n) из Си (выделение n байтов оперативной памяти), которая возвращает либо адрес на выделенный блок байтов, либо нулевой указатель.
p = malloc(n)
Предусловие: всегда запрашивается не менее 1 байта памяти. Постусловие: соответствующая память выделена, и в переменной p оказывается ссылка на неё.
Comments 6
Я говорю в контексте создания метаязыка.
Для этого нужен интерпретатор, у интерпретатора должны быть какието начальные базовые операции, на которых будут построены все остальные конструкции.
Начальные операции производятся на бесструктурных данных.
Для этого и нужен Выделятор, чтобы осуществлять начальное структурирование - создание обособленных сущностей.
Reply
Структуратор - не хотелось бы.
Форматировать?
Markup - разметка. Может быть назвать операцию markup - разметка.
HTML (HyperText Markup Language - язык гипертекстовой разметки)
===
markup
pick out
catch
grab
mark
stamp
sample
thing
object
subject
part
===
Reply
https://deep-econom.livejournal.com/607299.html
--- вспоминаем это---
рабочая гипотеза для обдумывания
https://deep-econom.livejournal.com/593410.html
любые методы/способы абстрагирования основаны на комбинации двух базовых операциях абстрагирования тождественно/нетождественно - обозначим {=,≠}
нам нужна пара символов {0,1} и пара операций {=,≠}
итак, чтобы вообще все сделать, нам требуются
- набор различий (достаточно 0 и 1)
- умение из различий конструировать упорядоченные пары
- из упорядоченных пар мы вообще можем сконструировать все что угодно, ВСЁ!
ну нам нужны еще какието аксиомы равенства, аксиомы эквивалентности
может быть это должны быть остенсивные определения, вычислимые определения, операционные определения, интерпретируемые определения
Reply
Reply
Возьмём классическую функцию malloc(n) из Си (выделение n байтов оперативной памяти), которая возвращает либо адрес на выделенный блок байтов, либо нулевой указатель.
p = malloc(n)
Предусловие: всегда запрашивается не менее 1 байта памяти.
Постусловие: соответствующая память выделена, и в переменной p оказывается ссылка на неё.
Reply
Leave a comment