This paper concerns the synthesis of complex finite state machines (FSM) by a novel partitioning and encoding approach. The target architecture is a generalization of FSM implementations with embedded loadable counters. Starting with a subgraph extraction constraints driven partitioning generates three parts, a sequencing, a command and an autonomous logic block. By solving the encoding problem...

We show that grammar systems with communication by command and with extremely simple rewriting rules (in fact, only relabelings are needed) are able to generate all recursively enumerable languages. The result settles several open problems in the area of grammar systems. We also present the result in a general framework, without referring to grammar systems, obtaining a characterization of recu...

The electric discharge of mormyrid fish has an irregular pattern controlled by the electromotor command nucleus in the medulla. Anatomical studies suggest that much of the descending information integrated by the command nucleus comes from the diencephalic precommand nucleus. But field potentials related to the motor command occur later in the precommand nucleus than in the command nucleus, sug...

The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awareness (SA) and command and control (C2) in military command centres, making use of new technologies developed for simulation, virtual reality, and real-time 3D animation. Recent work includes the development of a multimo...

We present a formal approach for modeling complex commands characterized by heavy overloading of function, large numbers of parameters, dependencies among parameters, subtle side effects, and lack of abstraction. Complex commands arise in a variety of business settings such as requesting a brokerage order, enrolling in a course, and specifying a product order. In addition, complex commands are ...

Login (LGI) The Login command is the means whereby the user identifies himself and specifies the account number to which his use of SMFS is to be billed. The user should issue a LGI command directly after completing the ICP and before any command referencing a file. The user name and account number specified remain in effect until another LGI command is issued, a LGO command is issued, or the c...

Word emphasis and question intonation have significant effects on F0 contours for various languages. This paper employs the command-response F0 model to investigate the effects of the two factors for Cantonese, a typical tone language with nine tones. Analysis shows that the main effect of word emphasis associated with narrow focus is not on tone command but on phrase command. An additional or ...