automataFactory