User blog comment:Wythagoras/Infinite state ITTMs/@comment-1605058-20140529101255

Just to clarify - there isn't $$\aleph_1$$ infinite state machines, but $$2^{\aleph_0}=\mathfrak{c}$$ (continuum, in LaTeX \mathfrak{c} )