S-выражения - это обозначение вложенных списков или данных с древовидной структурой, популяризированное языком программирования Lisp.
В вычислениях s-expressions, sexprs или sexps(для "символического выражения") - это обозначение для данных вложенного списка (древовидной структуры), придуманное и популяризируемое языком программирования lisp, который использует их как для исходного кода, так и для данных.