El pseudocódigo de un AED general es el siguiente: