Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Education » math-teach

Topic: Structured Programming
Replies: 69   Last Post: Mar 7, 2014 7:18 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Joe Niederberger

Posts: 3,059
Registered: 10/12/08
Re: Structured Programming
Posted: Mar 3, 2014 12:35 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

R Hansen says:
>I see. But that is the layman?s version.

As opposed to the R Hansen version. Exactly. Nevertheless,
its just an example of mathematical considerations and influence. It did have considerable influence, if not on you.

Getting back to algol, BNF is essentially just a notation for specifying a context free grammar.

http://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form
- ---------------------------------------------
"Meanwhile, string rewriting rules as formal, abstract systems were introduced and studied by mathematicians such as Axel Thue (in 1914), Emil Post (1920s?40s) and Alan Turing (1936). Noam Chomsky, teaching linguistics to students of information theory at MIT, combined linguistics and mathematics, by taking what is essentially Thue's formalism as the basis for the description of the syntax of natural language; he also introduced a clear distinction between generative rules (those of context-free grammars) and transformation rules (1956).[2][3]

John Backus, a programming language designer at IBM, proposed "metalinguistic formulas"[4][5] to describe the syntax of the new programming language IAL, known today as ALGOL 58 (1959), using the BNF notation."
- ---------------------------------------------------

See -- mathematical to the layman, since mathematicians had been studying formal grammars and languages for some time already. I'm not telling you how to view it.

The block structures in algol are pretty clearly influenced/inspired/intertwined with the choice to use a CFG.

In the development of OOP, you find heavy influence from abstract data types, which are mathematical entities,

In functional programming, ADTs too, and of course functions.

Did you read the Backus Turing lecture? Interesting stuff though its time may still be ahead.

Various type theories are used as the model for corresponding type systems in a wide range of languages, as Kirby likes to point out.

In relational Databases and SQL, one of the big early selling points was the mathematical underpinnings in the theory of relations.

Math has stayed pretty intertwined with PLD, I don't seem them going their separate ways. I think they will become more intertwined in the future, perhaps Backus' ideas will be reinvigorated in some useful new form.

You can scan these for more viewpoints:
http://en.wikipedia.org/wiki/Programming_language_theory
http://www.cis.upenn.edu/~bcpierce/tapl/main.html

What does it mean to say PLD is separate from math?

Cheers,
Joe N


Date Subject Author
3/1/14
Read Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Greg Goodknight
3/3/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Louis Talman
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Robert Hansen
3/4/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/4/14
Read Re: Structured Programming
Robert Hansen
3/5/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/4/14
Read Re: Structured Programming
kirby urner
3/4/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Louis Talman
3/6/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/7/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/7/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.