Editing Talk:1090: Formal Languages
|
Please sign your posts with ~~~~ |
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
| Latest revision | Your text | ||
| Line 1: | Line 1: | ||
| − | + | ==Where to dicuss (moved from article body)== | |
Maybe the word "Grammar" is just supposed to sound like "Ta-Da" (as in the fanfare sound made in circuses). Which - as odd as this is going to sound - is somewhat similar to how grammar is used in formal languages. | Maybe the word "Grammar" is just supposed to sound like "Ta-Da" (as in the fanfare sound made in circuses). Which - as odd as this is going to sound - is somewhat similar to how grammar is used in formal languages. | ||
| Line 14: | Line 14: | ||
If only there were some sort of Discussion page where comics could be discussed. There could be a convenient link at the top of the page right next to a link back to the comic page itself. Maybe it could be colored red to stand out from the rest of the page. ''-- It's a blue button next to "Prev"'' | If only there were some sort of Discussion page where comics could be discussed. There could be a convenient link at the top of the page right next to a link back to the comic page itself. Maybe it could be colored red to stand out from the rest of the page. ''-- It's a blue button next to "Prev"'' | ||
| − | + | ==Formal Language== | |
Because the conference heading implies it is about formal programming languages. | Because the conference heading implies it is about formal programming languages. | ||
Grammar is about the correct for of language and it's formality and rules (which I break all the time). | Grammar is about the correct for of language and it's formality and rules (which I break all the time). | ||
It's a pun. | It's a pun. | ||
| − | |||
| − | |||
[[Special:Contributions/202.167.15.165|202.167.15.165]] 06:21, 21 November 2012 (UTC)beany | [[Special:Contributions/202.167.15.165|202.167.15.165]] 06:21, 21 November 2012 (UTC)beany | ||
:Formal language is a much broader concept than just programming languages. [[User:St.nerol|St.nerol]] ([[User talk:St.nerol|talk]]) 15:37, 23 November 2012 (UTC) | :Formal language is a much broader concept than just programming languages. [[User:St.nerol|St.nerol]] ([[User talk:St.nerol|talk]]) 15:37, 23 November 2012 (UTC) | ||
| − | + | ==Formal Language== | |
I'm thinking the page needs a brief description of what a "formal language" is. I linked to the wikipedia article on formal languages, but we should probably add a summary relevant to the comic here. --[[User:DanB|DanB]] ([[User talk:DanB|talk]]) 10:39, 3 August 2012 (EDT) | I'm thinking the page needs a brief description of what a "formal language" is. I linked to the wikipedia article on formal languages, but we should probably add a summary relevant to the comic here. --[[User:DanB|DanB]] ([[User talk:DanB|talk]]) 10:39, 3 August 2012 (EDT) | ||
| Line 30: | Line 28: | ||
'''"Formal languages"''' in a formal language, is '''"Formal languages"'''. | '''"Formal languages"''' in a formal language, is '''"Formal languages"'''. | ||
| − | + | ==Norvig vs. Chomsky== | |
It may be related to this news: http://www.tor.com/blogs/2011/06/norvig-vs-chomsky-and-the-fight-for-the-future-of-ai | It may be related to this news: http://www.tor.com/blogs/2011/06/norvig-vs-chomsky-and-the-fight-for-the-future-of-ai | ||
| − | + | ==Grammar vs Language== | |
| − | The pun seems clearly to be related to the difference between a formal language and a formal grammar. A language X is the set of all it's valid statements. On the other hand, a grammar for a language X is a description that can be used produce every single valid statement in the language X, even if it's a language with infinite valid statements. So him shouting "''GRAMMAR''" in a formal ''languages'' forum is most likely meant to be as if he said in a shorthand way everything there was to be said about (the) language. | + | The pun seems clearly to be related to the difference between a formal language and a formal grammar. A language X is the set of all it's valid statements. On the other hand, a grammar for a language X is a description that can be used produce every single valid statement in the language X, even if it's a language with infinite valid statements. So him shouting "''GRAMMAR''" in a formal ''languages'' forum is most likely meant to be as if he said in a shorthand way everything there was to be said about (the) language. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
