2004/10/31 (日) 20:21:05　 ◆　 ▼　 ◇　 [mirai]
１桁の正の整数 ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 
１桁の自然数 ::= '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 
正の整数 ::= １桁の自然数 １桁の正の整数