为什么在元组的帮助下定义有限自动机？像DFA一样可以由5个元组定义，但是为什么我们不能用Set来做同样的事情？元组中是否存在任何颂歌？
答案 0 :(得分：0)
DFA由五种形式正式定义：
假设您得到了四个有限的非空集和一些元素（其本身可能是一个有限的非空集）。它们没有特定的顺序。哪个是字母，哪个是状态集，哪个是开始状态，哪些是接受状态，哪些是过渡状态？
有可能通过确定哪些在逻辑上可能而哪些在逻辑上不可能来确定。但是，将负担加给给您五句话的人要容易得多，这与要求按特定顺序将它们交给您基本相同。
数学对象并不是对象固有的某种特定类型，而对象是类的实例。从某种意义上说，所有这些对象都可归结为集合集，因此它们本身不容易区分，除非它们可能包含或不包含不同的元素。