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
Nerodova věta:
Necht’ L je jazyk nad ∑. Pak tato dvě tvrzení jsou ekvivalentní:
1. L je rozpoznatelný konečným automatem.
2. L je sjednocením některých tříd rozkladu určeného pravou kongruencí na ∑* s konečným indexem.
Rád bych se dotázal, platí-li tato věta skutečně v obecnosti, tedy je-li L skutečně sjednocením některých tříd rozkladu určeného libovolnou pravou kongruencí, která ∑* dělí na konečný počet tříd rozkladu. Nenapadá mě vhodný protipříklad, ale rozhodně to není intuitivně zřejmé.
Offline
Stránky: 1