Egy automata, attól, hogy specifikus, még nem feltétlenül determisztukus, ugye?

Ha a specifikuson teljesen specifikáltat ért, akkor igaz a feltevése. 

De egy minimál automata, mindenképpen specifikus és determisztikus?

Ezt is jól látja, a minimál automata készítésnél a determinisztikussá és teljesen specifikálttá tétel az első lépés.

Lehetséges, hogy egy automata minimálautomatájának rajza pont úgy néz ki, mint a spec. 
determ. automatája, csak A, B-k helyett Q0 és Q1...-ekkel jelöli az állapotokat?

Igen, lehetséges, ekkor az eredeti automata épp egy minimál automata.