Listopad 2015 archive

KA06 – Převod ZNKA na DKA

Zobecněný nedeterministický konečný automat lze převést přímo na deterministický konečný automat pomocí následujícího algoritmu. Je obdobný stromovému algoritmu převodu NKA na DKA. Nejprve si ale musíme vysvětlit, co je to E-funkce.

Continue reading

Ledové sopky na Plutu

Nejnovější data z mise New Horizons stále přinášejí překvapivé zprávy. Podle posledních informací to vypadá, že na Plutu existují útvary podobné našim sopkám, které ale nechrlí lávu a kameny, ale led.

Continue reading

KA05 – Zobecněné NKA

Představíme-li si automat takový, že dokáže přecházet mezi jednotlivými stavy, aniž by načetl jakýkoliv vstupní symbol, hovoříme o zobecněném nedeterministickém konečném automatu, a tyto speciální stavy se nazývají ε-přechody.

Continue reading

KA04 – Ekvivalentní automaty

Přestože dva konečné automaty obsahují rozdílný počet stavů, rozdílný počet a tvar přechodových funkcí, mohou být ekvivalentní. Definice 1: Konečný automat A a konečný automat B jsou ekvivalentní, pokud oba rozpoznávají jeden společný jazyk, tedy L(A) = L(B). Abychom mohli velice jednoduše ověřit, zdali dva konečné automaty jsou ekvivalentní, je zapotřebí nejprve definovat dosažitelnost a …

Continue reading

KA03 – Převod NKA na DKA

Všechny nedeterministické konečné automaty se dají pomocí jednoduchého algoritmu převést na deterministické konečné automaty. Je zapotřebí pouze sjednotit vstupní stavy do jednoho deterministického vstupu a definovat nové vnitřní stavy, které budou odpovídat všem variacím z nedeterministické množiny.

Continue reading

KA02 – Způsoby zápisu konečných automatů

Každý konečný automat můžeme reprezentovat různými způsoby zápisu. Lze použít výčet jednotlivých prvků automatu, tedy stavů a přechodových funkcí, dále lze použít reprezentaci pomocí tabulky, stavového diagramu či stavového stromu. Reprezentace výčtem prvků

Continue reading

Tisk solárního inkoustu

Spojením univerzity v Melbourne, Monash a vědecké a průmyslové výzkumné organizace CSIRO vznikl Victorian Organic Solar Cell Consortium, který se od roku 2007 zabývá technologií tisku solárních panelů. Objevili nový způsob tvorby solárních článků pomocí tisku. Články mají sice desetkrát nižší kapacitu než standardní články vyráběné sériovým způsobem, dají se ale na druhou stranu tisknout …

Continue reading

KA01 – Základní definice

Úvodní kapitola teorie konečných automatů vymezí základní pojmy, se kterými se budeme dále setkávat. Gramatika – soubor všech symbolů, znaků a pravidel, které je zapotřebí k vytváření vět. Jazyk – obsahuje všechny věty, které lze vytvořit pomocí gramatiky. Jazyk tedy nemůže obsahovat nic, co není obsaženo v gramatice daného jazyka. Automat – algoritmus, pomocí kterého …

Continue reading

Jak je velká planeta Země?

Krásné srovnání velikosti planety Země s ostatními tělesy ve vesmíru. Zdroj: Renaud Margry.

Začínáme…

Právě jsem spustil své nové internetové stránky. Budou věnované zejména informatice, obzvláště oblasti umělé inteligence, neuronových sítí, fuzzy, konečných automatů atd. Dále zde naleznete informace z matematiky, fyziky či zajímavosti o vesmírů a možná i něco navíc…