What is a formal programming language?

Posted by Orjanp on Stack Overflow See other posts from Stack Overflow or by Orjanp
Published on 2010-04-19T16:36:18Z Indexed on 2010/04/19 16:43 UTC
Read the original article Hit count: 411

Filed under:

programming-languages

|

formal-languages

Hello!

What does it mean that a programming language is a formal programming language? And which languages are formal programming languages? And which are informal programming languages?

I haven't found a good explanation yet.

© Stack Overflow or respective owner

Related posts about programming-languages

Which order would you teach programming languages in, when teaching a newbie?

as seen on Programmers - Search for 'Programmers'
If you had to design a study program, with a breadth-of-programming-languages requirement, which stated that the student should be exposed to all major concepts and methodologies that can be taught through (at the minimum) 6 programming languages, which programming languages would you choose to teach… >>> More
Extending Programming Languages

as seen on Stack Overflow - Search for 'Stack Overflow'
(Since I just posted this in another question, but my browser had to be annoying and submit it without content first, here it is again:) I'm a fan of clean code. I like my languages to be able to express what I'm trying to do, but I like the syntax to mirror that too. For example, I work on a lot… >>> More
Facebook Game Development - Which Programming languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi folks, I am going to develop a facebook game as topic for my thesis. I am wondering which programming languages i should choice. I am used to programming in .NET. But i am also comfortable in C++ and Java. I don't want to use Flash as the graphical frontend since i don't like it. So i guess… >>> More
Objective-measures of the power of programming languages

as seen on Stack Overflow - Search for 'Stack Overflow'
Are there any objective measures for measuring the power of programming languages? Turing-completeness is one, but it is not particularly discriminating. I also remember there being a few others measures of power which are more limited versions (like finite-state-autonoma), but is there any objective… >>> More
Extending Programming Languages [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a fan of clean code. >>> More

Related posts about formal-languages

Formal Languages, Inductive Proofs & Regular Expressions

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
So I am slogging away at my UNISA stuff. I have just finished doing the initial once non stop read through the first 11 chapters of my COS 201 Textbook - “Introduction to Computer Theory 2nd Edition” by Daniel Cohen. It has been an interesting couple of days, with familiar concepts coming up as well… >>> More
Theory of formal languages - Automaton

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi everybody ! I'm wondering about formal languages. I have a kind of parser : It reads à xml-like serialized tree structure and turn it into a multidimmensionnal array. I figured out that i need at least three variables to achieve the job : $tree = array(); // a new array $pTree = array(&$tree);… >>> More
Shift-reduce: when to stop reducing?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to learn about shift-reduce parsing. Suppose we have the following grammar, using recursive rules that enforce order of operations, inspired by the ANSI C Yacc grammar: S: A; P : NUMBER | '(' S ')' ; M : P | M '*' P | M '/' P ; A : M | A '+' M … >>> More
Is the valid state domain of a program a regular language?

as seen on Stack Overflow - Search for 'Stack Overflow'
If you look at the call stack of a program and treat each return pointer as a token, what kind of automata is needed to build a recognizer for the valid states of the program? As a corollary, what kind of automata is needed to build a recognizer for a specific bug state? My thought is that if… >>> More
chomsky hierarchy and programming languages

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm trying to learn some aspects of the CH ( chomsky hierarchy ) which are related to PL ( programming languages ), and i still have to read the Dragon Book. I've read that most of the PL can be parsed as CFG ( context free grammar ). In term of computational power, it equals the one of a pushdown… >>> More