2.2.4 Odstranění více počátečních stavů

Konečný automat může být definován s množinou počátečních stavů místo jednoho unikátního počátečního stavu. Tento konstrukt je sice užitečný pro návrh (např. při sjednocení automatů), ale standardní definice vyžaduje právě jeden počáteční stav.

Odstranění více počátečních stavů

Odstranění více počátečních stavů

Jak z konečného automatu odstraníme více počátečních stavů?

1. Vytvoříme nový počáteční stav (u původních počátečních stavů tento příznak zrušíme).
2. Z nového počátečního stavu vedeme \(\varepsilon\)-přechody do všech původních počátečních stavů.

Tímto krokem vznikne automat s jedním počátečním stavem, ale s \(\varepsilon\)-přechody. Ty lze následně odstranit standardním postupem (viz sekce 2.2.3).