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

Finite strings but possibly infinite language

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

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

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

在短语"a language is a set of strings(possibly infinite) over an alphabet"中,括号中的观察与集合有关,与字符串无关。也就是说,它同样可以被描述为 "a set (possibly infinite) of (finite) strings"。定义上没有矛盾(正确理解),因为说是有限的字符串和说是无限的集合。

请注意,顺便说一句,可以允许无限字符串并考虑定义为有限或无限字符串集的语言的属性,但几乎所有关于形式语言的工作都将句子限制为有限长度;该限制使很多问题变得易于处理,而对于允许无限字符串的情况则不易处理。