stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica di un sistema formale (it)
konečná posloupnost symbolů ve formálním jazyce, reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu (cs)
secuencia de carácteres que cumple la norma gramatical de un lenguaje formal (es)
finite sequence of symbols from a given alphabet that is part of a formal language (en)
تسلسل محدود من الرموز من أبجدية معينة والتي هي جزء من لغة رسمية (ar)
assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (fr)
канечная пасьлядоўнасьць сымбаляў пэўнага альфабэту фармальнай мовы (be-tarask)
論理結合子の適用対象となる記号列 (ja)
синтаксически верная строка в формальном языке (ru)