We investigate a famous decision problem in automata theory: separation.Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second.Typically, obtaining an algorithm for separation yields a deep und
Ana Sofia Carvalho,1–3 Sandra Martins Pereira,1–3 António Jácomo,1–3 Susana Magalhães,1,2,4 Joana Araújo,1–3 Pablo Hernández-Marrero,1–3 Carlos Costa Gomes,1–3 Michael E Schatman5,6 1Instituto de Bioética, Universidade Católica Portuguesa, Porto, Portugal; 2UNESCO
Abstract Background In fish, melanin pigment granules in the retinal pigment epithelium disperse into apical projections as part of the suite of responses the eye makes to bright light conditions.This pigment granule dispersion serves to reduce photobleaching and occurs in response to neurochemicals secreted by the retina.Previous work has shown th