>>12
>int a[20];　とした場合　20個のint型のメモリのかたまりと、１つのアドレスを入れるメモリの位置が確保される

これは配列と配列を指す事実上のポインタがあるってことだと思うが
規格は知らんものの実際にそんな実装になっちゃいないと思う。
それと、ポインタと配列の違いとして sizeof の適用結果の違いも忘れるべからず。