In this note, we conduct a comprehensive exploration of models of computation, programming paradigms, meta-linguistic and linguistic abstractions, languages, and language systems—focusing on representing processes by a program that produce computations and on designing frameworks (language systems) that support the expression of those processes.

TODO: INTEGRATE THIS (Language System) IN THE MAIN PART OF THE NOTE.

Index

Prologue

• Computation is the process of performing mathematical, logical, or data-processing operations using algorithms and hardware to solve problems or perform tasks.
• Meta Linguistic Abstractions: Abstractions that form the foundational layer beneath linguistic abstractions, enabling the construction and structuring of language-level constructs.
• Model of Computation: A model of computation (computation model) (or computational formalism) is a formal system that defines how computations are represented and executed. How is this process represented? And what are the semantics of this representation?
• Programming Paradigm: Programming Paradigm: A programming paradigm is a fundamental style or approach to programming that shapes how problems are conceptualized and how solutions are expressed. It defines the structure, patterns, and techniques used in writing and organizing code.
• Language: A programming language is a formal system comprising a well-defined syntax and semantics that enables the specification of algorithms and computational processes through symbolic expressions, which are parsed, analyzed, and translated by language processors into executable instructions for a target computational model or machine.
• Linguistic Abstraction refers to how a programming language allows developers to express computations at a high level, abstracting away the underlying machine-specific details.
• Language System: A comprehensive framework encompassing the formal syntax, semantic rules, runtime environment, toolchain components (such as parsers, compilers, interpreters, and linkers), and associated libraries that collectively define, implement, and support the specification, translation, and execution of programs written in a particular programming language.

Conceptual Model

Conceptual Model: Language System

References

• Naming
• Reification
• Formal System
• Formal Language
• https://github.com/csiglab/language-system-labs