Can now create a machine with a non-default alphabet