Re: Where does programming begin?


"Florian Brucker" <torf@xxxxxxxxxxxx> wrote in message
When one looks at it from a more theoretical point of view it's easier
IMO: Given a Turing machine it's clear what 'programming' should mean:
Supplying the program. If I try to adapt this by replacing the Turing
machine with just any machine that supports 'enough features' I arrive at

So a programmer has a Turing machine, and can implement any other Turing machine in his programming language.
So MiniBasic (my simple Basic) is a programming language because of its ability to dimension arrays. Take that away and it becomes just an (extremely powerful) notation for functions.

--
Free games and programming goodies.
http://www.personal.leeds.ac.uk/~bgy1mm

.

Relevant Pages

  • Re: Theory of programming
    ... All trivial-input programs have an equivalent Turing machine ... > modern programming. ... computer science which isn't in my mind efficiency it is correctness. ...
    (comp.programming)
  • Re: What is a programming language?
    ... >>Or, said otherwise, the interpreter of HTML IS NOT a Turing Machine ... > No programming language is a turing machine and no existing ... Show me an interpreter for HTML written in HTML! ...
    (comp.lang.lisp)
  • Re: proof of undecidability of halting problem
    ... a turing machine has no formulas in it. ... > structures, programming requirements, assertions ... theorems of Godel, Rosser, Turing and Smullyan ... You are not stating the conditions under which these theorems apply to ...
    (sci.logic)
  • Re: Largest number in 32 characters contest
    ... into a two-symbol Turing machine with as many states as ... I think programming in assembler or an assembler-like ... language would be easier than programming an equivalent ...
    (sci.math)
  • Re: Artificial Intelligence and Neural Biology?
    ... logic could do anything a Turing machine can do (given the machinery ... Animals have the interconnections, and the behavior of the system, ... Most AI systems tend to the latter because the programming technique ... predeterminism) is successful only up to a certain level of ...
    (talk.origins)