ON SYMMETRIC CLOSED CLASSES OF FUNCTION PRESERVING EVERY UNARY PREDICATE
نویسندگان
چکیده
منابع مشابه
Predicate Classes
Predicate classes are a new linguistic construct designed to complement normal classes in objectoriented languages. Like a normal class, a predicate class has a set of superclasses, methods, and instance variables. However, unlike a normal class, an object is automatically an instance of a predicate class whenever it satisfies a predicate expression associated with the predicate class. The pred...
متن کاملPredicate Classes and Promise Classes
3 8 8 f ?g ? ? predicate classes promise classes Bernd Borchert Universität Heidelberg predicate classes promise function promise classes
متن کاملPredicate Collection Classes
Collections are at the heart of every program. Modern programming languages have acknowledged this fact by including increasingly better expression mechanisms for manipulating collections of data and objects. When existing objects are selected as elements of collections, often there is an implicit intention that those objects, by means of having been selected, take on new roles. Such is the cas...
متن کاملPredicate Preserving Parsing
We present a unique approach to knowledge extraction from texts by a method of natural language analysis which preserves the predicate till the end. The system thus named Predicate Preserving Parser (PPP) performs morphological, syntactic and semantic analysis synchronously. This approach helps in highly accurate analysis of sentences. The analysis produces a semantic net like structure express...
متن کاملAmbiguity of Unary Symmetric Difference NFAs
Okhotin [9] showed an exponential trade-off in the conversion from nondeterministic unary finite automata to unambiguous nondeterministic unary finite automata. In this paper, we consider the trade-off in the case of unary symmetric difference finite automata to finitely ambiguous unary symmetric difference finite automata. Surprisingly, the trade-off is linear in the number of states of the fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vestnik of Samara University. Natural Science Series
سال: 2017
ISSN: 2541-7525
DOI: 10.18287/2541-7525-2013-19-6-61-73