producing jflap input correctly