Si, por supuesto, desde siempre y asi seguira. Estas cadenas tienen su cero terminador como corresponde pero lo que tenes ademas es una
array de punteros a cadena (
char *[]), en este caso de 5 elementos (0 a 4, cada uno un puntero a una cadena).
Podes comprobarlo viendo el tamaño:
Código:
printf("%d - %d \r\n", sizeof(anim), sizeof(anim) / sizeof(anim[0]));
eso sera en x86: 20 (tamaño de puntero * numero de elementos) y 5 (numero de elementos). Si agregas el 0 (o NULL) como te dije eso cambiara a 24 y 6 respectivamente.