Question

自动机的形式描述

Answer 1

自动机可以表示为5-元组，这里的:
Q 是状态的非空有穷集合。
∑ 是符号的有限集合，我们称为这个自动机接受的语言的字母表。 输入字符串都是∑上的字符串
δ 是状态转移函数，就是（右2）。
(对于非确定自动机，空串是允许的输入)。
q0 是开始状态，就是说自动机在还未处理输入的时候的状态(明显的 q0∈ Q)。
F 是终止状态集合，也叫做接受状态的 Q 中的状态的集合(就是 F⊆Q)。