字符串運算

在計算機科學領域形式語言理論中 ， 經常用到各種字符串函數 ； 但是符號不同於計算機編程中所用到的 ， 某些在理論領域中常用的函數 ， 在編程中很少用到 。 本文定義其中一些基本術語 。