Java Library For Working With Automatas