[1] 数の表記において、最上位に1桁以上、冗長な「0」の表記を含める時、これを先導 0といいます。
[3]
0
... は、 0 という数字からはじまることには違いありませんが、
これを除去すると空文字列になってしまうため、先導0ではありません。
[4]
000.0012
... では、最初の 00 は冗長なので先導0ですが、それ以後の3つの 0
は除去できないので、先導0ではありません。絶対値が 1
に満たない数において小数点より前の 0 を表記しないことがあり、
この場合最初の 000 が先導0と解することも可能です。
[6] 数の表記は、多くの場合先導0を明示的あるいは暗示的に認めています。しかし表記の一意性が重要な場面では、
先導0を禁止していることもあります。
[7] 先導0があると八進数として解釈されることが、古めの言語を中心にしばしばあります。