diff --git a/aconversions/src/fa2re/StateElimination.cpp b/aconversions/src/fa2re/StateElimination.cpp
index 4246999c6c946e822657f53c9f1cc791499019b4..76cc3e41f080d0ccd5dfa87a07ab7c79f5cd9336 100644
--- a/aconversions/src/fa2re/StateElimination.cpp
+++ b/aconversions/src/fa2re/StateElimination.cpp
@@ -17,7 +17,8 @@ namespace conversions
 
 StateElimination::StateElimination( const FSM & automaton ) : m_automaton( automaton )
 {
-
+    if( automaton.getFinalStates( ).size( ) <= 0 )
+        throw AlibException( "aconversion: Automaton's final states set must not be empty." );
 }
 
 StateElimination::~StateElimination( void )