EA05: A formális modellek alkalmazásai. Állapottérképek.