Remover unused parameter 'terminal' in BuildAutomaton methods