Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree

International audienceMany relational structures are automatically presentable, i.e. elements of the domain can be seen as words over a finite alphabet and equality and other atomic relations are represented with finite automata. The first-order theories over such structures are known to be primitive recursive, which is shown by the inductive construction of an automaton representing any relation definable in the first-order logic. We propose a general method based on Ehrenfeucht-Fraïssé games to give upper bounds on the size of these automata and on the time required to build them. We apply this method for two different automatic structures which have elementary decision procedures, Presburger Arithmetic and automatic structures of bounded degree. For the latter no upper bound on the size of the automata was known. We conclude that the very general and simple automata-based algorithm works well to decide the first-order theories over these structures

High levels of zidovudine (AZT) and its intracellular phosphate metabolites in AZT- and AZT-lamivudine-treated newborns of human immunodeficiency virus-infected mothers.

International audienceNewborns from human immunodeficiency virus-infected mothers are given antiretroviral prophylaxis against mother-to-child transmission, including predominantly nucleoside reverse transcriptase inhibitors. Pharmacological monitoring of these drugs in newborns has so far been limited to plasma and cord blood. In this study, samples from newborns (up to 45 days old) treated with zidovudine (AZT) alone (n = 29) or in combination with lamivudine (3TC) (n = 20) were analyzed for both intracellular concentrations of phosphate metabolites in peripheral blood mononuclear cells and levels of parent drugs in plasma. Plasma AZT and intracellular AZT-monophosphate and AZT-triphosphate (TP) concentrations were significantly higher during the first 15 days of life (199 versus 52.7 ng/ml [P < 0.0001], 732 versus 282 fmol/10(6) cells [P < 0.0001], and 170 versus 65.1 fmol/10(6) cells [P < 0.0001], respectively) and then became comparable to those of adults. No difference in intracellular AZT metabolite concentrations was found when AZT- and AZT-3TC-treated groups were compared. Plasma 3TC levels (lower limit of quantification [LLOQ], 1,157 ng/ml; median, 412.5 ng/ml) were not associated with the newborn's age, gender, or weight. Intracellular 3TC-TP concentrations (LLOQ, 40.4 pmol/10(6) cells; median, 18.9 pmol/10(6) cells) determined for newborns receiving the AZT-3TC combination were associated with neither the age nor weight of the newborns. Concentrations in females were significantly higher (1.8-fold [P = 0.0415]) than those in males. Unexpectedly, newborns on AZT monotherapy whose mothers' treatment included 3TC displayed residual plasma 3TC and intracellular 3TC-TP levels up to 1 week after birth