私の理解したところだと、

以下4つのlisp式をそれぞれドット対に変換すると、

;1
(setq x '(1 2 3))
(setq.(x.('(1.(2.(3.()))).())))     ;いや、これは違うな
(setq.(x.('(1.'(2.'(3.()))).())))   ;こうか？いや、
'(1 2 3)                            ;これが
(quote (1 2 3))
(quote.((1.(2.(3.()))).()))
'((1.(2.(3.()))).())                ;こうだから
(setq.(x.('((1.(2.(3.()))).()).())));こんな感じか？

;2
(car x)
(car.(x.()))

;3
(cadr x)
(car (cdr x))
(car.((cdr.(x.())).()))

;4
(caddr x)
(car (cdr (cdr x)))
(car.((cdr.((cdr.(x.())).())).()))

となると思うのだが、これで良いのだろうか？

えんいー