We introduce a fifth language accepting machine called the PDA-T, demonstrate some of its interesting formal properties, and show its role in the §-Calculus. Based upon this new machine and the §-Calculus’ other properties, we demonstrate the §-Calculus’ formal Turing Power, and then propose a formal language classification (the §-Hierarchy), derived largely from the Chomsky Hierarchy, but with...

This paper investigates the problem of finding the optimal sizes of private caches and a shared LLC in CMPs. Resizing private and shared caches in modern CMPs is one way to squeeze wasteful power consumption out of architectures to improve power efficiency. However, shrinking each private/shared cache has different impact on the performance loss and the power savings to the CMPs because each ca...

A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke’s minimal fixed point model. From this results on the expressive power of both approaches are obtained.

Background There are considerable tensions for healthcare staff between their employee allegiance and contracts, patient safety, responsibilities to codes of conduct within professional registration, the NHS Constitution. Aims The research aim was identify how power hierarchy influence safety in maternity services this achieved by reviewing papers concerned with personal narratives experiences ...