有限厚度

在形式语言理论中，特别是在算法学习理论中，如果每个字符串都包含在C中最多有限的许多语言中，那么一个语言类C就具有有限厚度。这个条件是由DanaAngluin提出的，是C在极限中可识别的充分条件。

给定一个语言L和一个索引类C={L1,L2,L3,…}的语言，如果L⊆Lj∈C，但对于任何Li∈C来说不是L⊊Li⊆Lj，则一个成员语言Lj∈C被称为L在C中的最小概念。如果成员语言Li∈C的每个有限子集D都有一个最小概念Lj⊆Li，则该类C被认为满足MEF条件。

对称地，如果每个非空的有限集D在C中最多有有限个最小概念，则称C满足MFF条件。最后，如果C同时满足MEF-和MFF条件，则称C有M-无限厚度。有限的厚度意味着M-无限的厚度。