AUTOMATA in Czech Translation

Automata, Inspector, and they all work.

Automaty, inspektore a všechny fungují.

So I was to work on automata, not pianos.

Tak jsem pracoval na automatech, ne pianech.

All my automata function by hydraulics.

Všechny moje automaty fungují na hydrauliku.

Translation grammars, pushdown translation automata.

Překladové gramatiky a zásobníkové překladové automaty.

Perhaps even these automata are not what they pretend to be.

Možná i tyto automaty nejsou, čím se zdají být.

This is project kx-111… pre-emptive killing automata.

Toto je projekt KX-111. Preventivní Zabíjecí Automaton.

I found I understood automata even better than I understood trains.

Zjistil jsem, že robotům rozumím ještě líp než vlakům.

The Doctor told me that there are seven automata in total.

Doktor mi řekl, že je tady celkem sedm automatů dohromady.

Finite automata, implementation, automaton reduction.

Konečné automaty, jejich implementace, redukce automatu..

Efficient pattern matching algorithms based on finite automata.

Efektivní algoritmy hledání založené na využití konečných automatů.

HDL- state automata description and design of complex sequential systems.

VHDL- popis stavových automatů a návrh komplexních sekvenčních systémů.

Dynamic behaviro specification using timed automata system UPPAAL.

Specifikace dynamického chování časovými automaty systém UPPAAL.

Deterministic finite automata, language accepted by a finite automaton..

Deterministický konečný automat, jazyk přijímaný konečným automatem.

Protocols- theoretical models,communicating automata, Petri nets.

Protokoly- teoretické modely,komunikující automaty, Petriho sítě.

If all the automata here depend on my power to tune them, then it is also in my power to mistune them.

Jestliže všechny automaty zde ,závisí na mých schopnostech, abych je naladil, pak je také v mé moci rozladit je.

Equivalence of deterministic andnondeterministic finite automata.

Ekvivalence deterministických anedeterministických konečných automatů.

Nondeterministic and deterministic finite automata(NFA, DFA), NFA with epsilon transitions.

Deterministické a nedeterministické konečné automaty(DKA a NKA), NKA s epsilon přechody.

Model checking as a tool for verification,applications for finite automata.

Model checking jako nástroj pro verifikaci,aplikace pro konečné automaty.

SDL language: blocks, processes, synchronization,state automata, communication, data, signals, variables.

Jazyk SDL: bloky, procesy, synchronizace,stavové automaty, komunikace, data, signály, proměnné.

The Austrian Professor Werner Kuich will introduce you to semiring theory anddefinition of weighted finite automata.

Rakouský profesor Werner Kuich vás uvede do teorie polokruhů apředstaví definici vážených konečných automatů.

Regular expressions, regular expression conversions,finite automata and regular grammars, Kleene theorem.

Regulární výrazy, převody mezi regulárními výrazy,konečnými automaty a regulárními gramatikami, Kleenova věta.

The topic of the meeting is various stringology disciplines such as indexing, data compression,bioinformatics or automata theory.

Tématem setkání jsou různé stringologické disciplíny jako indexování, komprese dat,bioinformatika nebo teorie automatů.

Crystal Automata is a unique concept combining moving glass elements, light effects and impeccable use of materials.

Crystal Automata je jedinečný koncept, který kombinuje unikátní řešení pohybujících se skleněných elementů, světlený efekt a neotřelé použití materiálu.

Computer formalization by formal languages and automata allowance 6/2.

Formalizace počítače pomocí formálních jazyků a automatů dotace 6/2.

The course covers basics of the theory of finite automata and grammars: deterministic and nondeterministic finite automata, characterization of the class of languages accepting by a finite automaton and description of such a language by a regular expression.

Základní pojmy teorie konečných automatů a gramatik: deterministické a nedeterministické konečné automaty, charakterizace třídy jazyků přijímaných konečným automatem a jejich popis regulárním výrazem.

The March of Time- the history of clocks, watches and automata since the Renaissance.

Chod hodin- seznamte se s historií automatů a hodinek od dob renesance.

Department of Theoretical Computer Science focuses on basic research in the area of automata theory, formal languages, grammars, compilers, stringology(string processing algorithms), arbology(tree processing algorithms), data compression and computational intelligence.

KTI je zaměřena na základní výzkum v oblasti teorie automatů, formálních jazyků, gramatik, překladačů, v oblasti stringologie(algoritmy pro zpracování řetězců), arbologie(algoritmy pro zpracování stromů), komprese dat a výpočetní inteligence.

Mr Felisberto, since there are no pianos to tune,I have given you automata instead.

Mr Felisberto, protože tu nejsou žádné piana na naladění,předkládám Vám místo toho automaty.

The main point is the proof of a Kleene Theorem on weighted finite automata over Conway semirings.

Hlavním bodem je důkaz Kleeneho věty o vážených konečných automatech přes Conwayovy polokruhy.

The graduates of Computer Science branch of study acquire thorough theoretical elements of computer science which include mathematical analysis, mathematical logic, linear algebra, discrete mathematics, probability and statistics, algorithmics, data structures,theory of languages and automata and all layers of ICT systems architecture.

Absolventi oboru Teoretická informatika získají solidní teoretické základy informatiky, které zahrnují matematickou analýzu, logiku, lineární algebru, diskrétní matematiku, pravděpodobnost a statistiku, algoritmizaci, datové struktury,teorii jazyků a automatů, a všechny úrovně architektur ICT systémů.