String (lingwi formali)

Fit-teorija tal-lingwi formali, string hija sekwenza magħmula minn ċertu numru ta 'oġġetti li hija mistennija li jgħaddu minn proċessar bħal analiżi, kompożizzjonijiet u trasformazzjonijiet f'kordi oħra jew strutturi diskreti bħal graffs jew konfigurazzjonijiet numeriċi, mingħajr ma jiġu mmodifikati l-oġġetti komponenti.

L-oġġetti kostitwenti jistgħu jkunu sempliċi (bħal bits, karattri jew simboli) jew komposti, iżda li għandhom jiġu ttrattati bħallikieku kienu sempliċi (bħal kliem, espressjonijiet, frammenti ta’ test jew marki ta’ oġġetti komposti iżda li ma rridux nanalizzaw jew jiddekomponu).

Mil-lat tal-kostituzzjoni, l-ewwel jiġu distinti kordi ta 'oġġetti sempliċi: spag ta' bits (kordi binarji), spag magħmul minn karattri (kordi letterali), spag ta 'simboli (kordi simboliċi). Kordi ta 'oġġetti komposti jinkludu kordi magħmulin minn unitajiet lessikali (imsejħa wkoll tokens ), frammenti ta' test (bħal titoli ta 'paragrafi jew ċitazzjonijiet biblijografiċi) u kordi li jirrappreżentaw molekuli bi struttura filamentari ġenerali, bħal dawk li jirrappreżentaw struttura ta' proteina jew DNA .

Fost l-għodod li jistgħu jissottomettu kordi għall-ipproċessar, jispikkaw dawk formali, bħall -awtomati, magni Turing, grammatiki formali jew sistemi oħra ta 'kitba mill-ġdid, u dawk aktar konkreti li jikkonsistu fi programmi jew rutini ta' sistemi ta 'softwer. Fil-prinċipju, l-għodod tat-tieni tip jistgħu jitqiesu bħala implimentazzjonijiet tal-ewwel.