Квантор oor Engels
Квантор
Vertalings in die woordeboek Bulgaars - Engels
quantifier
en
logical operator on properties, e. g. stating the existence of an object with a property (there exists) or that all objects verifies a property (forall)
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Методите за елиминиране на кванторите се използват, за да се покаже, че моделите на определени теории не могат да са много сложни.
I didn' t say you could scream itWikiMatrix WikiMatrix
Метазнаците позволяват съставяне на: атоми; квантори, които указват броя на атомите (и дали кванторът е алчен); набори от алтернативи, свързани чрез логическо „или“; логическо отрицание, което изисква отсъствие на указания атом; обръщения назад, които цитират предходни атоми от частично сравнен шаблон.
What else did you say?NothingWikiMatrix WikiMatrix
В Python и някои други реализации (например Java) трите основни квантора (*, + и ?) по подразбиране са алчни, защото съвпадат с възможно най-дългата поредица от знаци.
Security' s got sensitivity training todayWikiMatrix WikiMatrix
Горните квантори обаче могат да бъдат направени мързеливи или минимални, за да съответстват на възможно най-късата поредица от знаци, чрез добавяне на въпросителен знак: ".+?" съвпада само с "Ganymede,".
Where' s the epinephrine?WikiMatrix WikiMatrix
В Java след кванторите може да се добавя знак плюс, който забранява връщането назад, дори когато то би позволило цялото сравнение да бъде успешно: докато регулярният израз ".*", приложен върху низа "Ganymede," he continued, "is the largest moon in the Solar System." съвпада с целия ред, изразът ".*+" изобщо не намира съвпадение, защото .*+ „поглъща“ всички обработвани знаци, включително последната кавичка ".
Tin dichlorideWikiMatrix WikiMatrix
Затова кванторите, забраняващи връщането (на английски possessive quantifiers), са най-полезни заедно с отрицателните класове знаци, например "*+", което съвпада с "Ganymede," от горния низ.
A civil Type Certificate; orWikiMatrix WikiMatrix
Най-често употребяваните квантори са въпросителен знак ?, звездичка * (от операцията звезда на Клийни), и знак плюс + (плюс на Клийни).
Maybe I can get him to write a tune about my cuddler rapistWikiMatrix WikiMatrix
Кванторите без връщане са по-лесни за реализация от алчните и мързеливите квантори и обикновено подобряват ефективността по време на изпълнение.
It' il only take a minuteParaCrawl Corpus ParaCrawl Corpus
8 sinne gevind in 2 ms. Hulle kom uit baie bronne en word nie nagegaan nie.