所谓“S-表达式/运算式”（S-expression）或“sexp”（其中“S”代表“符号的”），是指一种以人类可读的文本形式表达半结构化数据的约定。S-表达式可能以其在Lisp家族的编程语言中的使用而为人所知。其他应用则见于由Lisp衍生的语言，如DSSSL，以及如IMAP之类通信协议中作为标记出现和约翰·麦卡锡的CBCL。语法细节和所支持的数据类型虽因语言而异，但这些语言间最通用的特性则是使用S-表达式作为括号化的前缀表示法（有时亦作剑桥波兰表示法）。

S-表达式在Lisp中既用作代码，也用作数据（见McCarthy Recursive Functions of Symbolic Expressions ）。S-表达式原本被用于将被M-表达式处理的数据，但Lisp的首个实现是一个S-表达式的解释器，以S-表达式编码M-表达式，而Lisp进程员很快习惯于对代码和数据都使用S-表达式。

In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and popularized by the programming language Lisp, which uses them for source code as well as data. In the usual parenthesized syntax of Lisp, an s-expression is classically defined inductively as