Skip to content

Instantly share code, notes, and snippets.

@pavly-gerges
Created October 27, 2024 20:02
Show Gist options
  • Save pavly-gerges/65e4aa990cce238b51072c0f774437f1 to your computer and use it in GitHub Desktop.
Save pavly-gerges/65e4aa990cce238b51072c0f774437f1 to your computer and use it in GitHub Desktop.
A mathematical approach to coding in the C programming language.

A Mathematical Approach to coding in the C programming language: Scientific Coding

Preface:

This document is devoted to showing another perspective into programming, which in its surface is the scientific programming, but in its heart and core is really intricate. The complexity is imparted due to of the incorporation of mathematical models and their implementation to the syntatics of the programming language, unlike the practical OOP and Functional paradigms, the FSA model (Finite-Automata Model) is a theoretical model. However, in this short document, I am willing to show some caveats of using the FSM models in both low-level and high-level engineering and delivering a reliable software based on a true science.

Science behind the FSA models

The scientific basis is all emerged from the scientific modelling which is now a forked entity from the scientific philosophy models.

The Finite-State-Automata Models

Designing a Machine $M$ in the C programming language

First-order logistic model of the machine $M$

Implementation of the machine model

State Machines incorporated with other paradigms (including OOP) -- Machines Interoperability

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment