A类多接受确定性有限状态自动机是元组$（Q，\Sigma，\delta，Q_0，T，f）$哪里
- Q美元$，美元\西格玛$，$\增量：Q\次\Sigma\到Q$、和$q_0\在q中$以DFA的标准方式定义；
- $T（美元）$是有限的标签集；
- $f:Q\至2^L$是一个将一组标签与每个状态关联的函数。
$\delta^{\\*}:Q\times\Sigma^{\\**}\到Q$以标准方式定义。
这种自动装置可以识别$|吨|$语言，每个标签对应一个$T（美元）$更具体地说，给一个标签$t\单位：t$
$$L（t）=\{x\mid-f（δ^{\*}（q_0，x））$$或者如果你愿意$$L（t）=\{x\midt\in f（δ^{\*}（q_0，x））\}$$
这个概念存在于文学作品中吗？谷歌“多接受DFA”和类似的查询并没有产生任何有用的结果。
我想使用这种自动机的原因如下。
我有几类常规语言，例如。$L_1，L_2:T\到2^{\Sigma^{\\*}}$，我已经需要将其表示为DFA，并且需要计算它们的并集$L:T\到2^{\Sigma^{\\*}}$定义为$L（t）={L_1（t）\杯L_2（t）\}$.我认为，如果我为每种语言类都使用一个自动机，而不是为每一种语言都使用自动机，那么像联合这样的操作会更加高效美元（吨）$.此外，考虑到我所处的环境，人们可以期望有多种语言美元（吨）$和美元（吨）$是相同的或具有共同的方面。
你建议其他方法吗？
