Regularitet & Automater

javadoc til RegAut Java-pakken