The growing context-sensitive languages have been classiied through the shrinking two-pushdown automaton, the deterministic version of which characterizes the class of generalized Church-Rosser languages (Buntrock and Otto 1995). Exploiting this characterization we prove that this latter class coincides with the class of Church-Rosser languages that was introduced by McNaughton, Narendran, and ...

Article history: Received 31 December 2013 Received in revised form 7 April 2014 Accepted 7 April 2014 Available online 24 April 2014

The effect of drugs on hippocampal theta rhythm induced by high frequency stimulation of the midbrain reticular formation was investigated in free-moving rats. The linearity of the relationship between the frequency of theta produced and the intensity of the stimulating current was unchanged by injections of sodium amylobarbitone; however, the frequency itself was reduced. Choline@ blockade or ...

This paper summarises the picture of the subiculum presented by Gray and McNaughton [Gray JA, McNaughton N. The neuropsychology of anxiety: an enquiry into the functions of the septo-hippocampal system. Oxford: Oxford University Press; 2000]. It is a key node in their "Behavioural Inhibition System" and, as such, is embedded within a hierarchy of structures controlling anxiety that is in parall...

BACKGROUND Co-morbidity within anxiety disorders, and between anxiety disorders and depression, is common. According to the theory of Gray and McNaughton, this co-morbidity is caused by recursive interconnections linking the brain regions involved in fear, anxiety and panic and by heritable personality traits such as neuroticism. In other words, co-morbidity can be explained by one disorder bei...

Gray and McNaughton [Gray JA, McNaughton N. The neuropsychology of anxiety. Oxford: Oxford University Press; 2000] predict that fear is associated with orientation away from threat whereas anxiety is associated with orientation towards threat; this first dimension of 'defensive direction' is independent of a second dimension of 'defensive intensity'. Defensive reactions were measured using a th...

Nerode et al. [ 131 showed that a correct concurrent program can be viewed as a winning strategy in a suitably defined two player game played between the Programmer and the Computer in which the program specification is defined by the rules of the game together with the winning condition. This gives rise to the question as to whether there are useful algorithms to extract (provably) winning str...