3 papers
cs.FL2021
Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines
Alberto Larrauri, Roderick Bloem
We consider a system consisting of a sequential composition of Mealy machines, called head and tail. We study two problems related to these systems. In the first problem, models of…
math.CO2020
Limiting probabilities of first order properties of random sparse graphs and hypergraphs
Alberto Larrauri, Tobias Müller, Marc Noy
Let be the binomial random graph in the sparse regime, which as is well-known undergoes a phase transition at . Lynch (Random Structures Algorithms, 1992) s…
math.CO2020
Probabilities of first order sentences on sparse random relational structures: An application to definability on random CNF formulas
Lázaro Alberto Larrauri
We extend the convergence law for sparse random graphs proven by Lynch to arbitrary relational languages. We consider a finite relational vocabulary and a first order theory $T…