Zajc napisal/-a:Rock napisal/-a: Ti ustrežem, po svoji moči:
na primer:
Nizi iz te abecede se imenujejo besede, in besede, ki pripadajo določenemu formalnemu jeziku, se včasih imenujejo 'well-formed words' ali 'well-formed formulas'.
Da. Možen prevod je tudi:
Nizi iz te abecede se imenujejo besede in
tiste besede, ki pripadajo določenemu formalnemu jeziku,s e včasih imenujejo "well-formed words" ali "well-formed formulas".
Tudi tvoj prevod ni napačen.
Iz česar jasno sledi, da obstajajo tudi besede, ki ne pripadajo formalnemu jeziku (in niso "well formed formulas").
Se ne strinjam, tvoj zaključek 'nikakor jasno ne sledi' iz navedenega.
Poleg tega zadevni segment Wikipedie govori le o 'formalnem jeziku'.
V nadaljevanju podrobno utemeljujem.
"Formal language" je isto kot "particular formal language". Gre le za drugo izbiro besed, s katerimi se opiše isto stvar.
Sprejmem tvojo razlago, če meniš:
- da po Wikipedii je abeceda formalnega jezika 'set of symbols' iz katerih se tvorijo jezikovni nizi (the strings of the language);
- da se določeni jezikovni nizi imenujejo besede;
- in da se besede, ki pripadajo določenemu formalnemu jeziku, včasih imenujejo tudi 'well-formed words' ali 'well-formed formulas'.
Iz tvojega dosedajšnjega modrovanja lahko le potrdim ugotovitev, da je začetna naloga več kot jasno sestavljena.
Moj pogled je drugačen.
Tvoje umovanje ne upošteva definicij, dogmatike:
- v (vsakem) formalnem jeziku, in sem spada tudi matematična logika, so 'besede', in te imajo nujno pomen
- Wikipedia resda pravi, da obstajajajo tudi 'nesmisli' (
symbols and strings of symbols may be broadly divided into nonsense and well-formed formulas) - toda to je povsem splošna ugotovitev (in spada v skupino splošnih pojmov kot sta formalni jezik, abeceda)
- kajti
formal language can be considered to be identical to the set containing all and only its formulas - 'formule' pa so sklopi simbolov, ki imajo
pomen (
In mathematical logic a well-formed formula, often simply formula, is a word that is part of a formal language. A formula is a syntactic formal object that can be given a semantic meaning