抽象的接受器家族

抽象的接受器家族（AFA）是广义接受器的一个分组。非正式地讲，接受器是一个具有有限状态控制、有限数量的输入符号、以及具有读写功能的内部存储的设备。每个接受器都有一个起始状态和一组接受状态。该设备读取一连串的符号，为每个输入符号从一个状态过渡到另一个状态。如果设备在接受状态下结束，则表示设备接受了该符号序列。一个接受器家族是一组具有相同类型的内部存储的接受器。对AFA的研究是AFL（语言的抽象族）理论的一部分。

AFA模式一个AFA模式是一个有序的4元组(Γ,I,f,g){displaystyle(`Gamma,I,f,g)}，其中的"Γ"和"I"是一个有序的4元组。，其中Γ{displaystyleGamma}，其中Γ{displaystyleK}的有限子集。的有限子集，并且Σ{displaystyleSigma}的有限子集。分别。{displaystyleK_{1}}的情况。

{displaystyleq_{0}}是在一个叫作"K{1}"的地方。{displaystyle{delta}（称为过渡函数(称为过渡函数)是一个映射，从{displaystyleK_{1}times(Sigma_{1}cup{epsilon})timesg(Gamma{*})}。