Почему конечные автоматы определяются с помощью кортежа?Как DFA может быть определено 5 кортежей, но почему мы не можем сделать то же самое с Set?

Question

Почему конечные автоматы определяются с помощью кортежа?Как DFA может быть определено 5 кортежей, но почему мы не можем сделать то же самое с Set?Есть ли в кортежах какие-либо обжигающие вещи?

Answer 1

DFA формально определяется пятью вещами:

1. его входной алфавит E
2. его состояния Q
3. его начальное состояние q0
4. его принимающие состояния A
5. его переходы f

Предположим, вам даны четыре конечных непустых набора и некоторый элемент (который сам может быть конечным непустым набором).Они не в определенном порядке.Какой из них является алфавитом, который представляет собой набор состояний, который является начальным состоянием, которые являются принимающими состояниями, которые являются переходами?

Возможно, это можно определить логически, разработав логическивозможно, а что нет.Тем не менее, гораздо проще просто взять на себя бремя человека, дающего вам пять вещей, чтобы сказать, какими они являются, что в основном совпадает с требованием, чтобы они были даны вам в определенном порядке.

Математические объектыпо своей природе не принадлежат к какому-то конкретному типу, так как объекты являются экземплярами классаВ некотором смысле все эти объекты сводимы к наборам множеств и поэтому сами по себе они не легко различимы, за исключением тех случаев, когда они могут содержать или не содержать отдельные элементы.