根据 Sipser 的《计算理论导论》：如果 A 是机器 M 接受的所有字符串的集合，我们说 A 是机器 M 的语言，写成 L(M) = A。我们说 M 识别 A ...一台机器可以接受多个字符串，但它总是只能识别一种语言。并且我们说如果 A = {w| 则 M 识别语言 A M 接受 w}。
我想这个问题已经得到了回答，但我想知道是否有人对此有任何想法，如果我们可以说关于常规语言的子集有什么有趣的事情，是否可以说原始 DFA 识别它们并且原始 DFA 和识别较小语言的 DFA 之间是否存在任何有趣的关系
如果 DFA 识别的语言（总是只有一个）是有限的，那么该语言的子语言是有限的（实际上，如果接受的语言由 N 个字符串组成，则有 2^N 个子语言）。
没有任何有用的关系可以很容易地从子/超级语言关系中推断出来，即语言在乔姆斯基层次结构中所处的位置。即：正则语言的子语言可能是不可判定的，而不可判定语言的子语言可能是正则的，其间存在所有可能的变化。
正因为如此，子/超语言的 DFA 之间没有特别明确的关系需要解决：甚至不是所有的子语言都是正则的；有些子语言的 DFA 比超级语言的 DFA 更简单，有些子语言的 DFA 比超级语言的 DFA 更复杂。有些将具有相同的 DFA，但具有不同的接受状态集。
给定一个 DFA，只有一种语言对应于机器。语言是一个集合，即 dfa 接受的所有字符串的集合。