文字列処理

文字列処理の基本
「文字列」は「特別な形をした文字配列(契約)」という原点に戻る
入力 : 文字列の最後には EOS が入っていると期待して良い(権利)
出力 : 文字列の最後には、EOS が入っていると期待されている(義務)
文字列処理の考え方
文字配列の処理
ただし、長さが可変なので EOS を頼りに処理
文字列の再帰的定義
「」空文字列は文字列
A が文字で s が文字列なら As も文字列