copy

fun copy(other: Automaton)

Copies over all states/transitions from other. The states numbers are sequentially assigned (appended).