We present a framework for obtaining effective characterizations of simple fragments of future temporal logic (LTL) with the natural numbers as time domain. The framework is based on prophetic automata (also known as complete unambiguous Büchi automata), which enjoy strong structural properties, in particular, they separate the “finitary fraction” of a regular language of infinite words from it...

We survey in this paper some variants of the notion of determinism, refining the spectrum betweennon-determinism and determinism. We present unambiguous automata, strongly unambiguousautomata, prophetic automata, guidable automata, and history-deterministic automata. Weinstantiate these various notions for finite words, infinite words, finite trees, infinite trees, datalanguages...

The modern concept of the spread of tuberculosis from an open case to a susceptible person dates back to pre-Koch times. Hippocrates, Sylvius and others recognized the infectious nature of tuberculosis long before Koch discovered the tubercle bacillus, but their understanding of the nature of infection was at best vague. Koch's discovery gave point to the infectious nature of the disease. In hi...