0

1
  string_start := "STRING_START" • [0-1]
  str_content := • [1-1]
2
  str := "STR" • [1-2]
  str_content := str_content str • [1-2]
3
  str := "STR" • [2-3]
  str_content := str_content str • [1-3]
4
  str := "STR" • [3-4]
  str_content := str_content str • [1-4]
5
  string_end := "STRING_END" • [4-5]
  string := string_start str_content string_end • [0-5]
  Γ := string • [0-5]