Kategorie
Přihlášení
Uživatelé online
Nejnovější hlášky
Nejnovější příspěvky
TOP 10 Space Invaders
8810
naparcipiskapa
7680
Edu
7360
Finer5950
7330
RIPPERSVK
6100
mati
5970
Lemra
5630
Markuus
5080
Marthy
4800
joocker
4460
urbancikpetr
Mediálně zastupuje Impression Media, s.r.o.
Re: :D
psal sem laicky řečeno ne? :D :D
Re: to uz musi byt fakt humus, k...
nemyslim si, že to je zas tak teoretický ... pokud budeš někdy konstruovat konečný automat, a že na spoustu věcí je daleko výhodnější než to řešit pomocí například počítače a do něj napsaného programu, tak ti tato věta pomůže určit, zda je vůbec daný automat sestrojitelný .. a to poměrně snadným způsobem ...
:D
Jazyk L je rozpoznatelný konečným automatem A právě když existuje pravá kongruence konečného indexu :) ... pravá kongruence je vlastně něco jako "=" ale řekněme v množinovém pojetí, něco jako ekvivalence tříd, teda pravá kongruence znamená, že k jakýmkoliv dvoum slovům z jazyka L rozpoznávaného automatem A, ze stejné třídy ekvivalence, kterým přidáme na pravou stranu slovo z abecedy sigma, musí být tyto slova stále ekvivalentní, tedy rozpoznávané automatem :) .. nějak takhle laicky řečeno :D