Interpretes de automatas finitos en Java