Automatic sequences generated by synchronizing automata fulfill the Sarnak conjecture

摘要

We prove that automatic sequences generated by synchronizing automata satisfy the full Sarnak conjecture. This is of particular interest, since Berlinkov proved recently that almost all automata are synchronizing.