Maquinaria usada para Auto-Logic