S: A B C; A: 'a'?; B: 'b'*; C: 'c'+;