Un ensamblador es una aplicación de sistema que se encarga de traducir un fichero fuente escrito en un lenguaje ensamblador, a un fichero objeto que contiene código máquina, ejecutable directamente por la máquina para la que se ha generado.
Podemos distinguir entre dos tipos de ensambladores:
· Ensambladores básicos. Son de muy bajo nivel, y su tarea consiste básicamente en ofrecer nombres simbólicos a las distintas instrucciones (u OpCodes) de la máquina apropiada, además de ofrecer un formato de escritura cómodo para expresar los parámetros y cosas tales como los modos de direccionamiento. Además, reconoce una serie de directivas (o meta instrucciones) que indican ciertos parámetros de funcionamiento del ensamblador.
· Ensambladores modulares, o macro ensambladores. Descendientes de los ensambladores básicos, fueron muy populares en las décadas de los 50 y los 60, antes de la generalización de los lenguajes de alto nivel. Hacen todo lo que puede hacer un ensamblador, y además proporcionan una serie de directivas para definir e invocar macro instrucciones (o simplemente, macros). Cuando invocamos a una macro, ésta se expande al cuerpo que hayamos definido.

Referencia: http://es.wikipedia.org