Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Stránky: 1
- Hlavní strana
- » Vysoká škola: úvod do studia
- » Izomorfismus konečného automatu a petriho sítě.
#1 20. 05. 2019 16:43
- super_panda
- Příspěvky: 32
- Reputace: 0
Izomorfismus konečného automatu a petriho sítě.
Mám za úkol dokázat, že tento konečný automat je izomorfní s petriho sítí, která je na na obrázku pod konečným automatem.
Takto vypadají přechodové tabulky jak automatu, tak sítě.
Práce není má, ale původní autor zdůvodnil izomorfismu pomocí 3 vzorců, které jsou zde:
.
Chtěl bych se Vás zeptat, zda-li je tento postup platným postupem dokázání izomorfismu, a pokud ano, co tyto 3 vzorce vyjadřují. První vzorec předpokládám, že vyjadřuje bijekci. Další vzorce bohužel nedokážu určit, co vypovídají.
Offline
Stránky: 1
- Hlavní strana
- » Vysoká škola: úvod do studia
- » Izomorfismus konečného automatu a petriho sítě.