2

I am learning about model of computation and I found this wikipedia entry that categorises and outlines various model of computation.

Now I want to know the programming languages that builds on these models.

I am aware that functional programming languages are built upon lambda calculus, and that imperative programming is more or less as a result of Turing machine model. But I do not know about the other models and if any programming language have been designed based on them.

Anyone knows if there are languages that builds on model of computation listed on the wikipedia entry?

Finlay Weber
  • 145
  • 4
  • Imperative programming languages are a lot closer to the RAM model than to the Turing machine model, which doesn't have any practical applications, to the best of my knowledge. – Yuval Filmus Dec 07 '20 at 13:29
  • By the RAM model you mean the entry listed as Random access machines in the computation model? – Finlay Weber Dec 07 '20 at 13:39
  • Quick googling about, seems that the RAM model is more or less the same, atleast as Turing Machine model...only that it is more effecient? Correct me if I am wrong – Finlay Weber Dec 07 '20 at 13:42
  • All Turing-complete models of computation are equivalent if you don't care about efficiency. It is true that Turing machines and Random-access machines are polynomially equivalent, in terms of both time and space. However, when analyzing algorithms, we almost always use the Random-access machine model (sometimes allowed limited operations on real numbers). – Yuval Filmus Dec 07 '20 at 13:57

1 Answers1

1

Functional programming languages can often be thought of as built on the lambda calculus.

Imperative programming languages can often be thought of as built on the RAM (Random Access Machine) model of computation.

Some hardware description languages can be thought of as being built on the finite-state machine model, or on digital circuits.

Some declarative languages can be thought of as built on Datalog.

Some concurrent languages can be thought of as built on the actor model or on process calculi (e.g., CSP, the $\pi$-calculus, etc.).

D.W.
  • 159,275
  • 20
  • 227
  • 470