public Configuration[] getInitialConfigurations(String input) 
    {
        Configuration[] configs = new Configuration[1];
        configs[0] = new MealyConfiguration(myAutomaton.getInitialState(), null, input, 
                input, ((MooreMachine)myAutomaton).getOutput(myAutomaton.getInitialState()));
        return configs;
    }