序是ε < 0 < 00 < 000 <…< 011 < 0110 <…< 01111 <…< 1 < 10 < 100 <…< 101 <…< 111…
字符串运算.在形式理论中经常出现一些在字符串上的额外运算。它们在条目字符串运算中给出。
字符串数据类型.字符串数据类型是建模在形式字符串的想法上的数据类型（）。字符串是几乎在所有编程语言中都可以实现的非常重要和有用的数据类型。在某些语言中它们可作为基本类型获得，在另一些语言中做为复合类型获得。多数高级语