#noindex Def. (일반적으로) '''string''': [[시퀀스,sequence]] of [[심벌,symbol]](또는 [[문자,character]]). (정의가 저자에 따라 finite_sequence인 경우도 있고 그냥 sequence인 경우도 있는데... TBD) (Cmp. [[알파벳,alphabet]]: a finite set of symbols.) ---- 일단 현재는 PL의 [[character_string]] 얘기임. [[타입,type]]의 일종인. string은 대개 '문자열'로 번역되지만, string 단어 자체에 [[문자,character]]라는 뜻이 필연적으로 들어 있지 않다. [[수열,sequence]]이 꼭 [[수,number]]의 sequence가 아닌것과 마찬가지인, [[계수,coefficient]]가 꼭 수가 아닌 것과 마찬가지인 번역 문제. (개념 자체는 sequence와 유사한데 mklink. - [[수열,sequence]]) 중립적인 번역은 [[스트링,string]]인가? character string이 아닌 다른 string을 다룬다면, pagename.. 페이지 분리는 [[character_string]]을 분리할까 아님 [[스트링,string]]을 분리할까? character_string : abbr. charstring { WtEn:charstring } ---- 비슷? linear [[선형,linear]] 인 rope - [rope] sequence - [[시퀀스,sequence]] [[수열,sequence]] [[튜플,tuple]] list - [[리스트,list]] [[목록,list]]? [[벡터,vector]] ... ex. [[해밍_거리,Hamming_distance]]는 '두 문자열이나 벡터에 대해' 정의됨. ... ---- Sub: [[형식_문자열,format_string]] [[자바_문자열,Java_string]] [[empty_string]] = [[null_string]] =,empty_string empty_string | =,null_string null_string { 번역? 빈문자열 공문자열 - empty set은 [[공집합,empty_set]] 널문자열?? 자주 쓰이는 기호는 ε, λ 도 쓰던거같던데 맞나? - Yes, 대문자 Λ도 씀. Ggl:"empty string symbol" [[리터럴,literal]]은 {{{ "", '' }}} 아마도 aka null_string ? [[널,null]]? - Yes.[* https://proofwiki.org/wiki/Definition:Null_String#Also_known_as] MKLINK [[공집합,empty_set]] 정리들 '''Null string'''의 [[길이,length]]( string_length { https://proofwiki.org/wiki/Definition:Length_of_String } )는 [[영,zero]]이다. https://proofwiki.org/wiki/Null_String_has_Length_Zero 기호로는 $\lvert \epsilon \rvert =0$ [[WpSimple:Empty_string]] = https://simple.wikipedia.org/wiki/Empty_string [[WpKo:빈_문자열]] = https://ko.wikipedia.org/wiki/빈_문자열 [[WpEn:Empty_string]] = https://en.wikipedia.org/wiki/Empty_string https://proofwiki.org/wiki/Definition:Null_String https://en.wiktionary.org/wiki/null_string x [[Date(2023-11-19T11:59:53)]] https://en.wiktionary.org/wiki/empty_string x [[Date(2023-11-19T11:59:53)]] } 부분문자열 서브스트링 substring =,substring . substring { 부문자열 ? https://proofwiki.org/wiki/Definition:Substring WtEn:substring = https://en.wiktionary.org/wiki/substring https://en.wikipedia.org/wiki/Substring ... Google:substring Naver:substring } [[superstring]] =,superstring =,superstring . superstring { WtEn:superstring = https://en.wiktionary.org/wiki/superstring https://en.wikipedia.org/wiki/Substring#Superstring } // by PLs, PL syntax [[리터럴,literal]] multiline string multiline_string { multiline string Zeta:언어별_멀티라인_문자열 ... "multiline string" Naver:"multiline string" Ggl:"multiline string" } 히어닥 히어독 heredoc here_document { PHP의 경우 {{{ $paragraph = <<