Article DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH Клебанов А. А., Shalyto Anatoly A.