rozhodnutelný oor Engels
rozhodnutelný
Vertalings in die woordeboek Tsjeggies - Engels
decidable
en
capable of being decided
decidable
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Rozhodovací problém, který lze vyřešit algoritmem, se nazývá rozhodnutelný.
The expression flat panel display does not cover cathode-ray tube technologyWikiMatrix WikiMatrix
Typový systém Haskellu, verze od Hindley-Milnera, je omezení Systému Fω na takzvané polymorfické typy prvního stupně, v kterých je typové odvozování rozhodnutelné.
He used all of you to get him on that boatWikiMatrix WikiMatrix
Další jazyky, např. Epigram dělá hodnotu všech výrazů v jazyce rozhodnutelnou, takže typová kontrola může rozhodnout.
Wait, hang on, I got another caIlWikiMatrix WikiMatrix
Typové odvozování je obecně možné jen když se jedná o rozhodnutelný dotaz z teorie typů.
To get rich, sonWikiMatrix WikiMatrix
Transformace a normální tvary bezkontextových gramatik. Pokročilé vlastnosti bezkontextových jazyků, věta o vkládání pro bezkontextové jazyky, rozhodnutelné problémy bezkontextových jazyků.
so this lawyer fellow says to meParaCrawl Corpus ParaCrawl Corpus
Je známo, že problém dosažitelnosti je pro PRS rozhodnutelný.
and a new wing for the orphanageParaCrawl Corpus ParaCrawl Corpus
Rozhodnutelné výsledky v oblasti pravděpodobnostních zásobníkových automatů (pPDA) z posledních let ukazují, že je pPDA možné použít jako velmi přesný model uživatele.
There' sgold in them thar hillsParaCrawl Corpus ParaCrawl Corpus
Typový systém Haskellu, verze od Hindley-Milnera, je omezení Systému Fω na takzvané polymorfické typy prvního stupně, v kterých je typové odvozování rozhodnutelné.
At an early stage, however, this was felt to be impractical due to the interdependencies between ICS development and CAP development.ParaCrawl Corpus ParaCrawl Corpus
Pokročilé vlastnosti bezkontextových jazyků, věta o vkládání pro bezkontextové jazyky, rozhodnutelné problémy bezkontextových jazyků.
It is clearly Staleek' s vanguardParaCrawl Corpus ParaCrawl Corpus
To nás vede k nové verzi P jakožto třídy problémů rozhodnutelných pomocí algoritmů, o nichž lze dokázat, že pracují v polynomiálním čase.
Y' all move fast,and we' re so slowParaCrawl Corpus ParaCrawl Corpus
Pojem nerozhodnutelného a částečně rozhodnutelného problému. IB110
It will open up multimillion dollar investment opportunities for Canadian and Chinese entrepreneursParaCrawl Corpus ParaCrawl Corpus
Rozhodovací problém, který lze vyřešit algoritmem, se nazývá rozhodnutelný.
You should not be so hard on your fatherParaCrawl Corpus ParaCrawl Corpus
Uzávěrové vlastnosti regulárních jazyků, regulární jazyky jako množinová Booleova algebra, rozhodnutelné problémy regulárních jazyků.
Stop pretending that you' re doing people favoursParaCrawl Corpus ParaCrawl Corpus
Uzávěrové vlastnosti bezkontextových jazyků, uzavřenost vzhledem k substituci, důsledky, rozhodnutelné problémy bezkontextových jazyků.
Right,One more time, and walk aroundParaCrawl Corpus ParaCrawl Corpus
Teorie bitových vektorů se zdá být dostatečně expresivní pro podporu úplné a přesné verifikace, zatímco zůstává efektivně rozhodnutelná.
I won a bet from him.- Yeah, what bet? He bet me that Dustin Hoffman was in Star WarsParaCrawl Corpus ParaCrawl Corpus
Rozhodni něco méně rozhodnutelného
A Nazi artistParaCrawl Corpus ParaCrawl Corpus
Vybrané rozhodnutelné problémy z oblasti verifikace těchto systémů.
She doesn' t know what she missedParaCrawl Corpus ParaCrawl Corpus
To nás vede k nové verzi P jakožto třídy problémů rozhodnutelných pomocí algoritmů, o nichž lze dokázat, že pracují v polynomiálním čase.
Now that we have taken care of our rat problemParaCrawl Corpus ParaCrawl Corpus
Rozhodnutelné a nerozhodnutelné problémy.
You knew where the gold is, but you still took me running around?!ParaCrawl Corpus ParaCrawl Corpus
Věta o vkládání (Pumping theorem), Nerodova věta, rozhodnutelné problémy regulárních jazyků.
She' s really fitting inParaCrawl Corpus ParaCrawl Corpus
20 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.