Singular and Plural Nondeterministic Parameters
نویسندگان
چکیده
The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters simultaneously can be defined. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.
منابع مشابه
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
After motivating the introduction of nondeterministic operators into algebraic specifications, a language s with two primitive predicates, identity and inclusion, for specifying nondeterministic operations is introduced. It is given a multialgebraic semantics which captures the singular (call-time-choice) strategy of passing nondeterministic parameters. A calculus NEQ, with restricted substitut...
متن کاملMorphological deficits related to noun in Kurdish- Persian bilingual Broca’s aphasic patients
Introduction: One of the major issues in the field of linguistics that has attracted the attention of neurologists, linguists and psychologists of language is bilingual aphasia. this study has been done to investigate the morphological deficits of nouns (singular, plural, and collective) in Kurdish-Persian bilingual Broca’s aphasic patients. Materials and Methods: The research method was descri...
متن کاملDoes the conceptual distinction between singular and plural sets depend on language?
Previous studies indicate that English-learning children acquire the distinction between singular and plural nouns between 22 and 24 months of age. Also, their use of the distinction is correlated with the capacity to distinguish nonlinguistically between singular and plural sets in a manual search paradigm (D. Barner, D. Thalwitz, J. Wood, S. Yang, & S. Carey, 2007). The authors used 3 experim...
متن کاملSingular and plural functions for functional logic programming
Modern functional logic programming (FLP) languages use non-terminating and nonconfluent constructor systems (CSs) as programs in order to define non-strict and nondeterministic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time choice and run-time choice. While the former is the standard choice of modern FLP languages,...
متن کاملOn the relation between the acquisition of singular-plural morpho-syntax and the conceptual distinction between one and more than one.
We investigated the relationship between the acquisition of singular-plural morpho-syntax and children's representation of the distinction between singular and plural sets. Experiment 1 tested 18-month-olds using the manual-search paradigm and found that, like 14-month-olds (Feigenson & Carey, 2005), they distinguished three objects from one but not four objects from one. Thus, they failed to r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 26 شماره
صفحات -
تاریخ انتشار 1997