「文字列」の再帰的な定義

文字列を「再帰的」に定義してみる
文字列の再帰的な定義
"" (空文字)は文字列である ( "" は '\0' だけからなる )
先頭が文字で、残りが文字列なら、全体は文字列である
上記の規則だけからなる物が文字列である
参考(自然数の再帰的定義)
0 は自然数である
n が自然数ならば n + 1 は自然数である
上記の規則だけからなる物が文字列である
比較
文字列 : 先頭を取り除いた物 <-> 1 だけ引いた物 : 自然数
文字列 : "" 空文字 <-> 0 (零) : 自然数
自然数と文字列は似た構造(再帰構造)を持つ
自然数と文字列の処理は同じにできる