The problem of associating a given string of symbols through a grammar to a programming language, so that the question of whether the string belongs to the language may be answered.