Las siguientes operaciones definidas en autómatas finitos también se