Планкалкюль

Планкалкюль
Планкалкюль
Парадигма	Процедурна
Дата появи	1948
Творці	Конрад Цузе
Розробник	Конрад Цузе
Основні реалізації	Plankalkül-Compiler Вільний університет Берліна в 2000
Під впливом від	Begriffsschrift[de]
Вплинула на	Superplan[en] Гайнца Рутисгаузера[en]
	Медіафайли у Вікісховищі;

Планкалкюль (нім. Plankalkül — числення планів) — перша у світі мова програмування високого рівня, створена німецьким інженером Конрадом Цузе в 1943—1945 роках і вперше опублікована в 1948 році.

Історія

У справі створення обчислювальних машин Цузе був самоуком, і розробляв їх без знання про інші механічні машини, що існували на той час. Для опису логічних схем Цузе винайшов свої власні діаграми і систему нотації, яку він назвав комбінаторикою умов (нім. Bedingungskombinatorik). У 1938-му, після закінчення роботи над Z1, Цузе з'ясував, що числення, яке він незалежно вигадав, уже існує і називається пропозиційним численням^[2] .Проте Цузе мав на меті дещо виразніше (пропозиційне числення не повне за Тюрінгом і не здатне описувати навіть прості арифметичні обчислення^[3]). Тому в травні 1939 року він описав свій задум розробити те, що невдовзі стане «Численням планів»^[4]. У своєму нотатнику Цузе залишив такий запис:

	Пів року поступового вступу до формальної логіки. Я перевідкрив там багато моїх попередніх думок. (Комбінаторика умов = логіка висловлень; вчення про інтервали = теорія ґраток). Зараз я планую створення "Числення планів". Для цього треба роз'яснити ряд понять. Оригінальний текст (нім.) Seit etwa einem halben Jahr allmähliches Einführen in die formale Logik. Viele meiner früheren Gedanken habe ich dort wieder gefunden. (Bedingungskombinatorik = Aussagenlogik; Lehre von den Intervallen = Gebietenkalkül). Ich plane jetzt die Aufsetzung des 'Plankalküls'. Hierzu sind eine Reihe von Begriffen zu klären.
— Конрад Цузе, запис в нотатнику^[2]

Працюючи над своєю докторською дисертацією, Цузе розробив першу відому формальну систему запису алгоритмів^[5], здатну описати розгалуження і цикли^[6]^[7] У 1942 році він почав писати на Plankalkül програму гри в шахи^[8]. У 1944 році Цузе зустрічався з німецьким логіком і філософом Гайнріхом Штольцом^[en], який висловив захоплення тим, як Цузе застосував числення^[9]. У 1945 році Цузе описав Plankalkül в однойменній книжці^[10], проте поразка Німеччини в Другій світовій війні завадила йому опублікувати рукопис^[6].

Оригінальний опис мови вражає виразними конструкціями і схожістю на сучасні мови, тому складається враження, що вона створена набагато пізніше 1945 року. Єдиними на час створення Plankalkül працюючими комп'ютерами були ENIAC та Harvard Mark I, жоден з яких не використовував компілятор чи транслятор, а ENIAC треба було перепрограмовувати на кожну нову задачу, переставляючи з'єднання кабелів.^[11]

Хоча більшість комп'ютерів Цузе було знищено під час бомбардувань, йому вдалося врятувати один^[12]. У травні 1945 Конрад Цузе зі своїм релейним комп'ютером Z4 переїхав із Берліна в альпійське село Гінтерштайн^[de]^[13]. Не маючи змоги продовжувати конструювання комп'ютерів, учений перейшов до суто теоретичних досліджень і присвятив час розробці високорівневої моделі програмування і необхідної для цього мови^[6]. У 1948 році він опублікував статтю в Archiv der Mathematik^[en] та виступив із доповіддю на щорічній зустрічі GAMM^[14].

Робота у відриві від інших фахівців Європи і США призвела до того, що лише незначна частина його роботи стала відомою. Повністю роботу Цузе було видано лише в 1972 році.

Сам Цузе не створив жодних програмно-апаратних засобів під реалізацію розробленої ним мови. Перший компілятор мови Планкалкюль (див. Plankalkül 2000) було створено у Вільному університеті Берліна тільки в 2000 році^[15], через п'ять років після смерті Конрада Цузе.

Опис

Планкалкюль мала низку особливостей, притаманних сучасним мовам програмування високого рівня:

Типи даних

Єдиним примітивним типом даних у Plankalkül є булевий (в авторській термінології нім. Ja-Nein-Werte, так-ні значення). Він позначається ідентифікатором $S0$ . Всі інші типи є композитними і будуються з примітивного за допомогою «масивів» і «записів». Так, послідовність із восьми біт (яку в сучасній термінології можна вважати байтом) позначається як $8\times S0$ , а булева матриця розміром $m$ на $n$ — $m\times n\times S0$ ^[16].

Допускається також скорочена форма запису $S1\cdot n$ замість $n\times S0$ ^[16].

Допустимими значеннями типу $S0$ є $0$ і $L$ . Послідовність із 4 біт можна записати, наприклад, як L00L, але коли вона позначає числа, можна використовувати десяткове позначення 9^[16].

Запис із двох компонентів $\sigma$ і $\tau$ записується як $(\sigma ,\tau )$ ^[16].

Тип (нім. Art) у Plankalkül складається з трьох елементів: структури і її складових (нім. Struktur), прагматичного змісту (нім. Typ) і можливого обмеження (нім. Beschränkung) для значень типу^[16].

Конрад Цузе наводить багато прикладів із шахової теорії^[17]:

$S0$		Булеве значення (біт)
$S1\cdot n$		Послідовність із n біт
$A1$	$S1\cdot 3$	Координата дошки
$A2$	$2\times A1$	Клітинка дошки (наприклад L00, 00L позначає e2 в алгебраїчній нотації)
$A3$	$S1\cdot 4$	Фігура (наприклад 00L0 — білий король)
$A4$	$(A2,A3)$	Фігура на дошці (наприклад, L00, 00L; 00L0 — білий король стоїть на клітинці e2)
$A5$	$64\times A3$	Стан дошки (розташування фігур, послідовний опис стану всіх 64 клітинок дошки)
$A10$	$(A5,S0,S1\cdot 4,A2)$	Ігрова ситуація ( $A5$ — розташування фігур, $S0$ — чий хід, $S1\cdot 4$ — можливість здійснити кожну з 4 рокіровок, A2 — дані про клітинку на яку можна робити взяття на проході

Ідентифікатори

Ідентифікатор — це буква за якою йде число^[16]. Ідентифікатори для змінних бувають таких видів^[18]:

вхідні дані (нім. Eingabewerte, Variablen) — їх позначають буквою V;
проміжні дані (нім. Zwischenwerte) — позначають буквою Z;
константи (нім. Constanten) — позначають буквою С;
вихідні дані (нім. Resultatwerte) — позначають буквою R.

Конкретна змінна певного типу унікально ідентифікується за номером, який записується під нею^[16]. Наприклад:

{\begin{matrix}V\\0\end{matrix}}

,

{\begin{matrix}Z\\2\end{matrix}}

,

{\begin{matrix}C\\31\end{matrix}}

і т. ін.

Програми і підпрограми позначаються буквою P. Наприклад $P13$ , $P5\cdot 7$ ^[16].

Результат роботи підпрограми $P13$ збережений нею в змінну ${\begin{matrix}R\\0\end{matrix}}$ доступний для інших підпрограм в змінній ${\begin{matrix}R17\\0\end{matrix}}$ , і читання цієї змінної також передбачає виклик відповідної підпрограми^[17].

Доступ до компонентів даних

Plankalkül дає змогу отримати доступ до окремих елементів змінної, використовуючи «індекс компоненти» (нім. Komponenten-Index). Якщо програма, наприклад, отримує на вхід у змінній ${\begin{matrix}V\\0\end{matrix}}$ значення типу $A10$ (ігрова ситуація), то ${\begin{matrix}V\\0\\0\end{matrix}}$ — дає стан дошки, ${\begin{matrix}V\\0\\0\cdot i\end{matrix}}$ — фігуру на i-й клітинці, а ${\begin{matrix}V\\0\\0\cdot i\cdot j\end{matrix}}$ j-й біт і-ї фігури^[17].

У сучасних мовах програмування це відповідає нотації V0[0], V0[0][i], V0[0][i][j] (хоча для доступу до окремого біта в сучасних мовах програмування зазвичай використовують бітові маски).

Двовимірний синтаксис

Через те що тип змінної, її номер та індекси компонентів записуються один над одними, для запису кожної інструкції в Plankalkül потрібно кілька рядків.

У першому рядку завжди вказано тип змінної, далі — номер змінної, позначений буквою V (нім. Variablen-Index), далі індекси підкомпонентів, позначені K (нім. Komponenten-Index), а потім індекс структури (нім. Struktur-Index), позначений літерою S, який описує тип змінної. Тип не обов'язково вказувати, але Цузе зазначає що це полегшує читання і розуміння програми^[19].

У рядку $S$ типи $S0$ і $S1$ можна скорочувати до $0$ і $1$ відповідно^[19].

Приклади:

${\begin{array}{r\|l}&V\\V&3\\K&\\S&m\times 2\times 1\cdot n\end{array}}$	змінна V3 — це список з $m$ пар значень типу $S1\cdot n$
${\begin{array}{r\|l}&V\\V&3\\S&m\times 2\times 1\cdot n\end{array}}$	Можна також не наводити рядок K, якщо він порожній. Тому цей запис еквівалентний наведеному вище.
${\begin{array}{r\|l}&V\\V&3\\K&i\cdot 0\cdot 7\\S&0\end{array}}$	Значення восьмого біта (7), першої (нульової) пари, і-того елементу змінної V3, має булевий тип ( $S0$ ).

Індексом може бути не тільки константа, а й інша змінна; це позначається за допомогою ліній, що вказують, у який індекс компонентів треба підставити значення змінної:

Використання змінної як індекса іншої змінної, записане в синтаксисі Plankalkül

Z5-тий елемент змінної V3. Еквівалентно виразу V3[Z5] в сучасних мовах програмування.^[19]

Присвоєння

Цузе ввів у своє числення невідомий для математики символ — присвоєння (нім. Ergibt-Zeichen), « $\Rightarrow$ ». Саме використання поняття присвоєння означає перехід від математичного мислення до інформатики^[20].

Цузе писав, що запис

{\begin{array}{r|lll}&Z+1&\Rightarrow &Z\\V&1&&1\\\end{array}}

аналогічний більш традиційній для математики рівності:

{\begin{array}{r|lll}&Z+1&=&Z\\V&1&&1\\K&i&&i+1\\\end{array}}

Заведено вважати, що Конрад Цузе спочатку використовував для присвоєння символ , і почав використовувати $\Rightarrow$ під впливом Гайнца Рутисгаузера^[en]^[19]. Кнут і Пардо вважають що Конрад Цузе завжди писав $\Rightarrow$ , а впровадили видавці твору «Über den allgemeinen Plankalkül als Mittel zur Formulierung schematisch-kombinativer Aufgaben»^[20]. На конференції ALGOL 58^[en] у Цюриху учасники з Європи пропонували використати для оператора присвоєння символ, впроваджений Цузе, але американська делегація наполягла на :=^[19].

Також варто звернути увагу на те, що змінна для результату операції присвоєння, на відміну від більшості сучасних мов, записується справа від оператора^[20]. Перше присвоєння значення змінній вважається оголошенням^[19].

Оператори

Зліва від оператора присвоєння записується вираз (нім. Ausdrücke), що описує значення, яке треба присвоїти змінній. Вирази можуть використовувати арифметичні оператори, булеві оператори й оператори порівняння ( $=,\neq ,\leq$ тощо)^[21].

Булеві оператори застосовуються до типу $S0$ ^[22]:

${\begin{matrix}{\overline {V}}\\0\end{matrix}}$ — заперечення
${\begin{matrix}V&\lor &V\\0&&1\end{matrix}}$ — диз'юнкція
${\begin{matrix}V&\land &V\\0&&1\end{matrix}}$ — кон'юнкція
${\begin{matrix}V&\rightarrow &V\\0&&1\end{matrix}}$ — обернення
${\begin{matrix}V&\sim &V\\0&&1\end{matrix}}$ — заперечення виняткової диз'юнкції^[en]
${\begin{matrix}V&{\cancel {\!\sim \!\!}}&V\\0&&1\end{matrix}}$ — виняткова диз'юнкція

Операція піднесення до степеня позначається подібно до операції індексування — за допомогою ліній^[23]:

Виклик підпрограм

Опис програми

Plankalkül 2000

Для мови Plankalkül важко написати компілятор чи редактор, тому що вона використовує незвичну для сучасних мов двовимірну нотацію, а також опис мови містить деякі логічні суперечності. Тому команда дослідників Вільного університету Берліна під керівництвом Рауля Рохаса розробила підмножину мови Plankalkül та компілятор для неї, яку вони назвали «Plankalkül 2000»^[15].

Примітки

↑ https://web.stanford.edu/class/cs208e/cgi-bin/main.cgi/static/lectures/17-ProgrammingEarlyDays/EarlyProgrammingLanguages.pdf
↑ ^а ^б Rojas та ін., 2004, с. 3.
↑ Why is propositional logic not Turing complete?.
↑ Hellige, 2004, с. 216.
↑ Knuth та Pardo, 1976, с. 9.
↑ ^а ^б ^в Giloi, 1997, с. 17-24.
↑ Hellige, 2004, с. 56.
↑ Hellige, 2004, с. 216-217.
↑ Petzold, 1992.
↑ Zuse, 1945.
↑ Rojas та ін., 2000, с. 3.
↑ Zuse, Konrad. The Plankalkül. (англ.) — München/Wien: R. Oldenbourg Verlag, 1989. — P.5 — 244 p. — (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 175) — ISSN 0533-9480 — ISBN 3-486-21288-5.
↑ Bauer та Wössner, 1972, с. 678.
↑ Hellige, 2004, с. 89.
↑ ^а ^б Rojas та ін., 2000, с. 2.
↑ ^а ^б ^в ^г ^д ^е ^ж ^и Bauer та Wössner, 1972, с. 679.
↑ ^а ^б ^в Bauer та Wössner, 1972, с. 680.
↑ Zuse, 1945, с. 10.
↑ ^а ^б ^в ^г ^д ^е Bauer та Wössner, 1972, с. 681.
↑ ^а ^б ^в Knuth та Pardo, 1976, с. 14.
↑ Bauer та Wössner, 1972, с. 682.
↑ Zuse, 1945, с. 49.
↑ Zuse, 1945, с. 45.

Література

Zuse, Konrad (1945). Der Plankalkül (PDF). Архів оригіналу за 10 лютого 2012.
Zuse, Konrad (1948/49). «Über den allgemeinen Plankalkül als Mittel zur Formulierung schematisch-kombinativer Aufgaben». Arch. Math. 1, pp. 441—449, 1948/49.
Der Plankalkül. / Zuse, Konrad / Gesellschaft für Mathematik und Datenverarbeitung. / BMBW — GMD — 63 — 1972. — Nr.63.(нім.)
Bauer, Friedrich L.; Wössner, Hans (1972). The "Plankalkül" of Konrad Zuse: A Forerunner of Today's Programming Languages (PDF) (англ.). Архів оригіналу (pdf) за 20 лютого 2009.(HTML версія)
Knuth, Donald Ervin; Pardo, Luis Trabb (1976). The Early Development of Programming Languages (PDF). Stanford University, Computer Science Department. Архів оригіналу (PDF) за 12 вересня 2017. Процитовано 28 грудня 2017.
Petzold, Hartmut (1992). Moderne Rechenkünstler. Die Industrialisierung der Rechentechnik in Deutschland. München: C.H. Beck Verlag.
Giloi, Wolfgang (1997). Konrad Zuse's Plankalkül: The First High-Level "non von Neumann" Programming Language. IEEE Annals of the History of Computing. 19 (2). doi:10.1109/85.586068.
Metropolis, Nicholas. History of Computing in the Twentieth Century. Elsevier. ISBN 978-1-4832-9668-5.
Rojas, Raúl; Göktekin, Cüneyt; Friedland, Gerald; Krüger, Mike (2000). Plankalkül: The First High-Level Programming Language and its Implementation (PDF) (англ.). Архів оригіналу за 28 листопада 2002.
Rojas, Raúl; Göktekin, Cüneyt; Friedland, Gerald; Krüger, Mike; Scharf, Ludmila (2004). Konrad Zuses Plankalkül – Seine Genese und eine moderne Implementierung (PDF). doi:10.1007/978-3-642-18631-8_9. Архів оригіналу (PDF) за 1 травня 2006.
Hellige, Hans Dieter (ed.) (2004). Geschichten der Informatik. Visionen, Paradigmen, Leitmotive. Berlin: Springer. ISBN 3-540-00217-0.
ENCYCLOPEDIA OF COMPUTERS AND COMPUTER HISTORY http://page.mi.fu-berlin.de/rojas/pub/computer_history/m_z/plankalkuel.pdf

Посилання

[cs208e-1] ttps://web.stanford.edu/class/cs208e/cgi-bin/main.cgi/static/lectures/17-ProgrammingEarlyDays/EarlyProgrammingLanguages.pdf

[FOOTNOTERojasGöktekinFriedlandKrüger20043-2] а ^б Rojas та ін., 2004, с. 3.

[3] Why is propositional logic not Turing complete?.

[FOOTNOTEHellige2004216-4] Hellige, 2004, с. 216.

[FOOTNOTEKnuthPardo19769-5] Knuth та Pardo, 1976, с. 9.

[FOOTNOTEGiloi199717-24-6] а ^б ^в Giloi, 1997, с. 17-24.

[FOOTNOTEHellige200456-7] Hellige, 2004, с. 56.

[FOOTNOTEHellige2004216-217-8] Hellige, 2004, с. 216-217.

[FOOTNOTEPetzold1992-9] Petzold, 1992.

[FOOTNOTEZuse1945-10] Zuse, 1945.

[FOOTNOTERojasGöktekinFriedlandKrüger20003-11] Rojas та ін., 2000, с. 3.

[The_Plankalkül-12] Zuse, Konrad. The Plankalkül. (англ.) — München/Wien: R. Oldenbourg Verlag, 1989. — P.5 — 244 p. — (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 175) — ISSN 0533-9480 — ISBN 3-486-21288-5.

[FOOTNOTEBauerWössner1972678-13] Bauer та Wössner, 1972, с. 678.

[FOOTNOTEHellige200489-14] Hellige, 2004, с. 89.

[FOOTNOTERojasGöktekinFriedlandKrüger20002-15] а ^б Rojas та ін., 2000, с. 2.

[FOOTNOTEBauerWössner1972679-16] а ^б ^в ^г ^д ^е ^ж ^и Bauer та Wössner, 1972, с. 679.

[FOOTNOTEBauerWössner1972680-17] а ^б ^в Bauer та Wössner, 1972, с. 680.

[FOOTNOTEZuse194510-18] Zuse, 1945, с. 10.

[FOOTNOTEBauerWössner1972681-19] а ^б ^в ^г ^д ^е Bauer та Wössner, 1972, с. 681.

[FOOTNOTEKnuthPardo197614-20] а ^б ^в Knuth та Pardo, 1976, с. 14.

[FOOTNOTEBauerWössner1972682-21] Bauer та Wössner, 1972, с. 682.

[FOOTNOTEZuse194549-22] Zuse, 1945, с. 49.

[FOOTNOTEZuse194545-23] Zuse, 1945, с. 45.

[disputed-24] а ^б Немає загальноприйнятого рішення, чи вважати усі ці мови саме мовами програмування

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[суперечливо 1]

Словники та енциклопедії	Encyclopædia Britannica
Нормативний контроль	Freebase: /m/0hgnb · GND: 4174804-9 · J9U: 987007550793605171 · LCCN: sh85102687