Even in models that would be tractable with "ordinary" messages, inference with automata quickly becomes intractable, because the size of the automata grow exponentially with the number of messages passed.
approximations must be used.