1 <…< 111…
字符串运算.在形式理论中经常出现一些在字符串上的额外运算。它们在条目字符串运算中给出。
字符串数据类型.字符串数据类型是建模在形式字符串的想法上的数据类型（）。字符串是几乎在所有编程语言中都可以实现的非常重要和有用的数据类型。在某些语言中它们可作为基本类型获得，在另一些语言中做为复合类型获得。多数高级语言的语法允许用某种方式引用起来的字符串来表示字符串数据类型的实例；这种元字符串叫做“文字”（）或“字符串文字”（）。Section