Programming languages 有限字符串但可能是无限语言

Programming languages 有限字符串但可能是无限语言,programming-languages,discrete-mathematics,formal-languages,automaton,Programming Languages,Discrete Mathematics,Formal Languages,Automaton,我们知道字符串是有限的,但另一方面,我们知道语言是字母表上的一组字符串(可能是无限的)。这个关系不是矛盾吗?每个自然数都有有限的位数。然而,有无限多的自然数 换句话说,只要每个数字的位数没有限制,你就可以从同一个字母表中创建越来越长的数字。每个自然数都有有限的位数。然而,有无限多的自然数 换句话说,只要每个数字的位数不受限制,你就可以从同一个字母表中创建越来越长的数字。在短语“语言是字母表上的一组字符串(可能是无限的)”,插入语的观察与集合有关,而不是与字符串有关。也就是说,它可能同样被描述为“

我们知道字符串是有限的,但另一方面,我们知道语言是字母表上的一组字符串(可能是无限的)。这个关系不是矛盾吗?

每个自然数都有有限的位数。然而,有无限多的自然数


换句话说,只要每个数字的位数没有限制,你就可以从同一个字母表中创建越来越长的数字。

每个自然数都有有限的位数。然而,有无限多的自然数

换句话说,只要每个数字的位数不受限制,你就可以从同一个字母表中创建越来越长的数字。

在短语“语言是字母表上的一组字符串(可能是无限的)”,插入语的观察与集合有关,而不是与字符串有关。也就是说,它可能同样被描述为“一组(可能无限)的(有限)字符串”。定义中没有矛盾(正确理解),因为字符串是有限的,集合是无限的

注意,顺便说一下,允许无限的字符串和考虑定义为有限或无限字符串集的语言的属性是可能的,但是几乎所有形式语言的工作都将句子限制为有限长度;这一限制使得许多问题易于处理,而在允许无限字符串的情况下,这些问题是不容易处理的。

在短语“语言是字母表上的一组字符串(可能是无限的)”,插入语的观察与该集合有关,而不是与字符串有关。也就是说,它可能同样被描述为“一组(可能无限)的(有限)字符串”。定义中没有矛盾(正确理解),因为字符串是有限的,集合是无限的



注意,顺便说一下,允许无限的字符串和考虑定义为有限或无限字符串集的语言的属性是可能的,但是几乎所有形式语言的工作都将句子限制为有限长度;限制使许多问题变得容易处理,而在允许无限字符串的情况下,这些问题是不容易处理的。

你被困在哪里了?那么字符串是有限的还是无限的?如果是有限的,字母表怎么可能是无限的?有多少个整数?我问的问题不是一个没有意义的具体定义。所以我要问的是字符串是有限的还是无限的?每个字符串都是有限的,就像每个整数都是有限的一样。它们的数量仍然是无限的;不,这不是矛盾。你被困在哪里了?字符串是有限的还是无限的?如果是有限的,字母表怎么可能是无限的?有多少个整数?我问的问题不是一个没有意义的具体定义。所以我要问的是字符串是有限的还是无限的?每个字符串都是有限的,就像每个整数都是有限的一样。它们的数量仍然是无限的;不,这不是矛盾。我明白你的意思,但是如果我们谈论一台不可能的机器,因为总是有一个边界,否则机器(计算机)可能会吐出一个错误,比如分段错误。@SaJa如果你说语言是一组字符串,那么你就不是在谈论实际的计算机。图灵机或任何其他等效模型(如RAM)实际上最接近实际计算机,即使它们需要无限内存。从理论上讲,由于计算机的内存有限,它们只是(非常巨大的)有限状态机。@SaJa正如斯维克所写,如果问题是关于理论计算机科学的,那么就没有限制了。如果是关于一台混凝土机器,那么每个单词的长度是有限的,字母表是有限的,这就意味着语言的大小是有限的。@SaJa,这不是在移动门柱吗?你的问题是理论性的,但当它得到回答时,你的评论变成了一个无关的实际反对意见,我需要一个答案,而我收到的答案与问题无关。我明白你的意思,但如果我们谈论的是一台不可能的机器,因为总是有一个边界,否则机器(计算机)可能会抛出一个错误,例如分段错误。@SaJa如果你把语言作为一组字符串来谈论,那你说的不是真正的电脑。图灵机或任何其他等效模型(如RAM)实际上最接近实际计算机,即使它们需要无限内存。从理论上讲,由于计算机的内存有限,它们只是(非常巨大的)有限状态机。@SaJa正如斯维克所写,如果问题是关于理论计算机科学的,那么就没有限制了。如果是关于一台混凝土机器,那么每个单词的长度是有限的,字母表是有限的,这就意味着语言的大小是有限的。@SaJa,这不是在移动门柱吗?你的问题是理论性的,但当它得到回答时,你的评论变成了一个无关的实际反对意见。@comingstorm根本不是这样,我需要一个答案,而我收到的答案与这个问题无关。