main -> 'a' main 'a' | 'a' | ''