Asynchronous Finite State Machines (AFSMs) are computational models used to design systems where state transitions are triggered by events rather than a clock signal, allowing for more flexible and potentially faster operations. They are particularly useful in environments where timing is unpredictable or where operations need to respond immediately to external inputs without waiting for a clock cycle.