Konečné automaty s více počátečními stavy

  • Nedeterministický konečný automat s množinou počátečních stavů je pětice
  • kde
    • - stejná jako v definici NKA
    • - neprázdná podmnožina množiny stavů,
    • Posloupnost přechodů může začít v libovolném stavu

../Attachments/Pasted image 20221004163230.png

../Attachments/Pasted image 20221004163244.png

Převod na NKA s jedním počátečním stavem

  • Vytvořím nový NKA s novým počátečním stavem, z něj půjdou přechody do původních počátečních stavů

../Attachments/Pasted image 20221004163302.png

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25