A method is proposed for deriving an adaptive checking sequence for a given deterministic implementation of a nondeterministic Finite State Machine (FSM) specification with respect to the reduction relation. The implementation is non-initialized, i.e., there is no reliable reset input. In order to obtain a sequence of reasonable length, in the proposed technique, we consider specifications with adaptive distinguishing test cases and adaptive transfer sequences. In fact, we show how under these considerations we can on-the-fly derive a checking sequence where the head part establishes the one-to-one correspondence between states of the implementation and the specification and if established the second part of the sequence is constructed for checking the one-toone correspondence between transitions of the implementation and a submachine of the specification FSM. The latter construction appropriately utilizes information from the first part to reach and check intended transitions.
As the Mongolian People’s Republic became increasingly important to the Soviet Union’s foreign policy goals in the second half of the twentieth century, many Soviet specialists found themselves living and working in Mongolia for considerable amounts of time. Though this was technically a foreign posting, those specialists often did not consider it as such. As a then-popular saying put it, “a chicken is not a bird, Mongolia is not abroad” (kuritsa ne ptitsa, Mongolia ne zagranitsa). In this paper, I will use Soviet accounts of life in late socialist Mongolia to interrogate Soviet ideas of “the abroad”, placing Mongolia in a broader imagined geography of the socialist world and beyond. After surveying the meanings that the idea of “the abroad” (zagranitsa) held for Soviet citizens, I will show that Mongolia was simultaneously too familiar and too foreign in all the wrong ways to be classified as true zagranitsa. Drawing from the memoirs of Soviet expatriates living in a country that was separated from the USSR by an international border yet hauntingly familiar, I will explore the ways in which Soviet citizens’ imaginations of foreignness and distance diverged from those imposed by officially designated borders.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.