La segunda es más compacta, y marca con una flecha el estado inicial, y con un asterisco los estados finales.