下列符号表示状态函数的是( )。