S字符串的第一个字符，即S[0]=0，说明S是空串，A正确。

系统函数strlen()表示字符串S的长度，若等于0，则判断字符串S是空串，B正确。

系统函数strcmp()表示比较两个字符串，若相等，返回0，故strcmp(S,"")==0可以判断字符串S是空串，C正确。

S=='\0'这个表达式左边是字符串，右边是字符，显然是非法的，如果改写成if(S=="\0")就可以判断字符串S是否是空串。故D错。