Learning Moore Machines from Input-Output Traces

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore machine using PTAP extended with state merging. We prove that MooreMI has the fundamental identification in the limit property. We also compare the algorithms experimentally in terms of the size of the learned machine and several notions of accuracy, introduced in this paper. Finally, we compare with OSTIA, an algorithm that learns a more general class of transducers, and find that OSTIA generally does not learn a Moore machine, even when fed with a characteristic sample

The Function of Anal Fin Egg-Spots in the Cichlid Fish Astatotilapia burtoni

Color and pigmentation patterns of animals are often targets of sexual selection because of their role in communication. Although conspicuous male traits are typically implicated with intersexual selection, there are examples where sex-specific displays play a role in an intrasexual context, e.g. when they serve as signals for aggression level and/or status. Here, we focus on the function of a conspicuous male ornament in the most species-rich tribe of cichlid fishes, the haplochromines. A characteristic feature of these ca. 1500 species are so-called egg-spots in form of ovoid markings on the anal fins of males, which are made up of carotenoid based pigment cells. It has long been assumed that these yellow, orange or reddish egg-spots play an important role in the courtship and spawning behavior of these maternal mouth-brooding fishes by mimicking the eggs of a conspecific female. The exact function of egg-spots remains unknown, however, and there are several hypotheses about their mode of action. To uncover the function of this cichlid-specific male ornament, we used female mate choice experiments and a male aggression test in the haplochromine species Astatotilapia burtoni. We manipulated the number and arrangement of egg-spots on the anal fins of males, or removed them entirely, and tested (1) female preference with visual contact only using egg-traps, (2) female preference with free contact using paternity testing with microsatellites and (3) male aggression. We found that females did not prefer males with many egg-spots over males with fewer egg-spots and that females tended to prefer males without egg-spots over males with egg-spots. Importantly, males without egg-spots sired clutches with the same fertilization rate as males with egg-spots. In male aggression trials, however, males with fewer egg-spots received significantly more attacks, suggesting that egg-spots are an important signal in intrasexual communication

Software model synthesis using satisfiability solvers

Contains fulltext : 103766.pdf (preprint version ) (Open Access