This paper is concerned with the problem of reMizing a sequential machine M by a sequential circuit with a single feedback loop carrying a binary signal. To find such a realization, one must find a binary total-state partit ion, which can be used for feedback, for the flow table T of M or for some expanded version of T. A method is presented for testing whether a given flow table possesses a fe...

We examine sequential equilibrium in the context of computational games [Halpern and Pass 2011a], where agents are charged for computation. In such games, an agent can rationally choose to forget, so issues of imperfect recall arise. In this setting, we consider two notions of sequential equilibrium. One is an ex ante notion, where a player chooses his strategy before the game starts and is com...

A steering fragment of an instruction sequence consists of a sequence of steering instructions. These are decision points involving the check of a propositional statement in sequential logic. The question is addressed why composed propositional statements occur in steering fragments given the fact that a straightforward transformation allows their elimination. A survey is provided of constraint...

We used event-related potentials (ERPs) to investigate the time course and distribution of brain activity while adults performed (a) a sequential learning task involving complex structured sequences, and (b) a language processing task. The same positive ERP deflection, the P600 effect, typically linked to difficult or ungrammatical syntactic processing, was found for structural incongruencies i...

In this paper two concurrent versions of Brzozowski’s deterministic finite automaton (DFA) construction algorithm are developed from first principles, the one being a slight refinement of the other. We rely on Hoare’s CSP as our notation. The specifications that are proposed of the Brzozowski algorithm are in terms of the concurrent composition of a number of top-level processes, each participa...

investigation of the interrelationships between yield and its components will improve the efficiency of a breeding program with appropriate selection criteria. in this study, the relationship among yield components and their direct and indirect influences on the total yield of melon were investigated. the study was based on evaluation of 49 entries gener-ated from a 7×7 diallel involving irania...

dear editor,   implementing health and family planning programs is the most effective way for birth control. intrauterine device (iud) is an effective long-acting contraceptive mean. 1 considering little side effects and good compatibility of iud to physiologic hormonal alterations occurring during breast feeding, the device is an acceptable contraceptive mean in nursing mothers. 2 in spite of ...