Timeline for For a language to be programmable, is it mandatory that it be based on a context free grammar
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 4, 2011 at 19:53 | comment | added | Markus Bläser | @Jeff: "Compile time" in my answer means "checking whether a given C+ source code is correct". By a slight modification of the construction in the paper, it follows that you can reduce every decidable language to the set of all correct C++ programs. | |
| Dec 4, 2011 at 1:38 | comment | added | Jeff Burdges | Yes, but compiler are never just context-free grammars. You should discuss the grammar itself, not the compiler. | |
| Nov 30, 2011 at 16:11 | history | answered | Markus Bläser | CC BY-SA 3.0 |