Minimization of Reactive Probabilistic Automata

The problem of finite automata minimization is important for software and hardware designing. Different types of automata are used for modeling systems or machines with finite number of states. The limitation of number of states gives savings in resources and time. In this article we show specific type of probabilistic automata: the reactive probabilistic finite automata with accepting states (in brief the reactive probabilistic automata), and definitions of languages accepted by it. We present definition of bisimulation relation for automata's states and define relation of indistinguishableness of automata states, on base of which we could effectuate automata minimization. Next we present detailed algorithm reactive probabilistic automata’s minimization with determination of its complexity and analyse example solved with help of this algorithm.

algorithms for computing weak bisimulation equivalence

IEEE Comp Soc, IFIP, Tianjin Normal Univ

Review article : ecological approach in studying the relation of perception-action : review of the theoretical and empirical data

In daily activities people are using a number of available means for the achievement of balance, such as the use of hands and the co-ordination of balance. One of the approaches that explains this relationship between perception and action is the ecological theory that is based on the work of a) Bernstein (1967), who imposed the problem of ‘the degrees of freedom’, b) Gibson (1979), who referred to the theory of perception and the way which the information is received from the environment in order for a certain movement to be achieved, c) Newell (1986), who proposed that movement can derive from the interaction of the constraints that imposed from the environment and the organism and d) Kugler, Kelso and Turvey (1982), who showed the way which “the degrees of freedom” are connected and interact. According to the above mentioned theories, the development of movement co-ordination can result from the different constraints that imposed into the organism-environment system. The close relation between the environmental and organismic constraints, as well as their interaction is responsible for the movement system that will be activated. These constraints apart from shaping the co-ordination of specific movements can be a rate limiting factor, to a certain degree, in the acquisition and mastering of a new skill. This frame of work can be an essential tool for the study of catching an object (e.g., a ball). The importance of this study becomes obvious due to the fact that movements that involved in catching an object are representative of every day actions and characteristic of the interaction between perception and action.

Development of a controlled drinking self-efficacy scale and appraising its relation to alcohol dependence

There is no specific self-efficacy measure that has been developed primarily for problem drinkers seeking a moderation drinking goal. In this article, we report the factor structure of a 20-item Controlled Drinking Self-Efficacy Scale (CDSES; Sitharthan et al., 1996; Sitharthan et al., 1997). The results indicate that the CDSES is highly reliable, and the factor analysis using the full sample identified four factors: negative affect, positive mood/social context, frequency of drinking, and consumption quantity. A similar factor structure was obtained for the subsample of men. In contrast, only three factors emerged in the analysis of data on female participants. Compared to women, men had low self-efficacy to control their drinking in situations relating to positive mood/social context, and subjects with high alcohol dependence had low self-efficacy for situations relating to negative affect, social situations, and drinking less frequently. The CDSES can be a useful measure in treatment programs providing a moderation drinking goal.