The distribution of the allophones of /?/in certain contexts involves free variation and gradient preferences. An organized survey was conducted to elicit the judgments of 37 native Persian speakers concerning the well-formedness of /?/allophonic behavior in five different phonological positions. The results showed that the differences in judgment between the various categories are not just t...

We show how the two main characteristics of the ILLICO natural language interface-guided composition mode by partial synthesis, and the modularity of the encoding of li,aguistic knowledge specifying the lexical, syntactic, semantic and conceptual levels of well-formedness-have lead us to develop an approach and a system in which all the constraints on the different levels of well-formedness are...

Martin-Löf’s type theory exists in two forms, differing in the formalisation of the identity types. In [15] Per Martin-Löf formulated his type theory with the extensional rules for the identity types, identifying judgmental and propositional equality. This rendered type-checking and well-formedness of formulas undecidable. For this reason (among others), he latter formulated intensional rules f...

The attribute "well-formed" is used homonymously in two different approaches to the study of musical tone relations. The present article explores commonalities and differences of the underlying theoretical ideas. Fred Lerdahl (2001) uses the attribute “wellformed” (in extension of the GTTM tradition) in order to formulate constraints for the constitution of the basic space as a context-sensitiv...

This book presents MontiArcAutomaton, a modeling language for architecture and behavior modeling of Cyber-Physical Systems as interactive Component & Connector models. MontiArcAutomaton extends the Architecture Description Language MontiArc with automata to describe component behavior. The modeling language MontiArcAutomaton provides syntactical elements for defining automata with states, varia...

Euler diagrams are used in a wide variety of areas for representing information about relationships between collections of objects. Recently, several techniques for automated Euler diagram drawing have been proposed, contributing to the Euler diagram generation problem: given an abstract description, draw an Euler diagram with that description and which possesses certain properties, sometimes c...

BPMN is becoming the de facto standard for process description, analysis and simulation, in IT and many other business domains. BPMN supports different levels of abstraction, from high-level process models, to detailed models capable of being executed. Several tools now support, at least partly, OMG’s BPMN metamodel specification. However, while several other OMG’s metamodels include a formal s...

A language over an alphabet [Formula: see text] of opening ([Formula: text]) and closing brackets, is balanced if it a subset the Dyck text], well-formed all words are prefixes in text]. We show that well-formedness context-free decidable polynomial time, longest common reduced suffix can be computed time. With this at hand we decide for class 2-[Formula: non-linear tree transducers with output...

This paper presents the SonarEditor, which supports the creation of Sonar models. It provides pre-build net components, a wellformedness check and a wizard that aims at the support for possible enhancements of the model. SonarEditor [1] is a prototypical implementation that enables multi-agent system developers to model organizational models following the Sonar formalism. It is implemented as p...