C'è un po' di confusione nei termini....
Ultimamente vedo che chiavette e mini pc sono considerati sinonimi e riguardano i dispositivi che si collegano alla tv e la trasformano in smart tv.
Hanno la particolarità di essere tutt'uno con lo spinotto HDMI che va inserito nella tv, un po' come le Memory stick USB ...
I box tv invece si differenziano dalle chiavette principalmente perché inseriti in una scatoletta un po' più importante.
Questo consente loro di avere più spazio per l'elettronica, per il raffreddamento, per le antenne wifi e per le varie porte.
In generale il loro funzionamento è migliore e più affidabile.
Le prime stanno andando un po' in disuso rispetto ai box tv che invece hanno uno sviluppo ed una richiesta maggiore.
Tu stai cercando però un apparecchio che abbia anche un decoder per poter registrare i canali sul digitale terrestre...
Mi sembra che esista qualcosa, o comunque credo che per tutti i box si possa collegare un decoder esterno...
Ti sposto qui nella discussione sui box tv per la scelta del dispositivo, così avrai migliori delucidazioni.
Edit vedo che hai già chiesto e che ti hanno già dato suggerimenti preziosi...
[Pre-acquisto] Box Tv Android - Scelta del dispositivo: info, confronti, consigli. - Box Tv (box, chiavette, mini pc) - P29 - Androidiani