Profinite techniques for probabilistic automata (Q4967235)

From MaRDI portal