programming-languages - 什么是正式的编程语言？

Question

编程语言是一种正式的编程语言意味着什么？哪些语言是形式化的编程语言？哪些是非正式编程语言？

我还没有找到很好的解释。

Answer 1

每种编程语言都是一种形式语言，所以说“正式编程语言”对我来说没有多大意义。 (或者有人知道非正式的编程语言吗？)

形式语言是一种具有数学上精确的构造规则的语言。或者，更确切地说，它是一组字母之上的一组单词。例如，如果您使用由字母a，b和c组成的字母表，则该字母表上的正式语言可以是一组{a，aa，aba，ca}。当然，这种语言不是很有用-关键是，有了一套不错的构造规则，您就可以创建诸如C或PostScript之类的语言。

至于“构造规则”，它们可以是形式语法(参见CSS的语法)，正则表达式(对于RFC 822所定义的电子邮件地址，请参见此gorgeous regex)，自动机或通用算法。

如果您觉得自己不太了解这件事，请不要绝望，因为这不是一个很好的解释:-)形式语言概念背后有很多思考。我建议您尝试消化Wikipedia entry，并查找更多教程和书籍。这很有趣，您将学到很多有关编译器，正则表达式，图灵机和数字人类奇观的背景知识。