Příspěvky uživatele „Nekvas“

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 ...

K hlášce #65511

: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