A novel language system has given rise to promising alternatives to standard formal and processor network models of computation. An interstring linked with a abstract machine environment, shares sub-expressions, transfers data, and spatially allocates resources for the parallel evaluation of dataflow. Formal models called the a-Ram family are introduced, designed to support interstring programm...

The formalization of patterns is a basic theoretical problem of workflow. Based on the WfMS’s concepts and the characteristics of workflow, we present some new concepts to help modelling patterns. Moreover, Logic is the control semantics of patterns and is stable and general, and to formalize patterns, we abstract logic from workflow and discuss how to model logic of patterns. With comparing an...

It is suggested that natural language has major structural defects, and is inappropriate as a template for formal and programming languages, and as a basis for deriving models of computation. A novel language system has given rise to promising alternatives to standard formal and processor network models of computation. A textual structure called an interstring is proposed. When linked with an a...

Phonological patterns often have phonetic bases. But whether phonetic substance should be encoded in synchronic phonological grammar is controversial. We aim to test the synchronic relevance of phonetics by investigating native Mandarin speakers’ applications of two exceptionless tone sandhi processes to novel words: the contour reduction 213→21/__T (T≠213), which has a clear phonetic motivatio...

While large-scale seafloor features (e.g. continental slopes, mid-ocean ridges) help shape the broad patterns of ocean circulation, small-scale rough topography seamounts, abyssal hills) can also impact dynamics in two significant ways. First, they momentum budget through flow steering, blocking and drag force, non-local transfer via generation radiating internal waves dissipation by topographi...