Кіріспе
Формалды жазудың оқылуының жақсаруына арналған визуалды белгілер Екіншілік жазу - формалды жазудың оқылуының жақсаруына арналған визуалды белгілер жиынтығы. Екіншілік жазу үлгілеріне компьютерлік бастапқы кодтың синтаксистілік ерекшеленуі, банкноттар немесе монеталар сияқты тұтынушылар символдарын оңай тану үшін өлшемдер мен түсті кодтар немесе техникалық кітаптарда жиі кездесетін типографиялық конвенциялар кіреді. Екіншілік жазу артық (қажеттіден артық) ақпарат береді; егер визуалды белгілер кейбір ақпараттардың, мысалы, жол-көлік шамдары немесе картаның кілті сияқты, берілген жалғыз жол болса, ол екіншілік емес. Екіншілік жазу көбінесе ресми жазудың өзінде жоқ. Керісінше, бұл формалды жазуды ұйымдастыру әдісі, оны оңай түсінуге мүмкіндік береді. Осылайша, екіншілік белгі формальды белгілердің нақты мағынасын өзгертпейді, керісінше, мағынаны оңай түсінуге мүмкіндік береді. Бағдарламалау тілдері сияқты мәтінде бұл ілмектерді, мысалы, ілмектер мен бояуларды пайдалану арқылы орындалуы мүмкін. Формалды графикалық белгілерде бұл симметрияны немесе жақындықты қолдану арқылы байланыстылықты көрсету арқылы жүзеге асырылады.
Secondary notation is the set of visual cues used to improve the readability of a formal notation. Examples of secondary notation include the syntax highlighting of computer source code, sizes and color codes for easy recognition of consumer symbols such as bank notes or coins, or the regular typographic conventions often found in technical books to highlight sections with the same type of content. Secondary notation provides redundant (more than necessary) information; if the visual cues are the only way that some information is provided, such as in traffic lights, or a chart's key, it is not secondary. Secondary notation is often not a part of the formal notation itself. Rather, it is a method of organizing the formal notation to allow it to be more easily understood. Thus, secondary notation does not change the actual meaning of the formal notation, rather it allows for the meaning to be readily understood. In text such as programming languages, this can be done using cues such as indentation and coloring. In formal graphical notations, this can be done through the use of symmetry or proximity to indicate relatedness.
Әр түрлі жағдайларда
Екіншілік белгілер формалды белгілерді бірнеше контекстте белгілейді, оларды екі негізгі салаға бөлуге болады: мәтін және графикалық.
Мәтіндік мәнмәтін
Мәтінде кездесетін екіншілік жазудың бірнеше жалпы жағдайлары бар. Екіншілік жазулар типографияда және код редакторларында кең таралған, олар қалыңдық, илек және аралық / ілмек ретінде пайда болады.
Графикалық контекст
Екіншілік белгіленуі графикалық контекстте графиктің ресми белгіленуі анық емес ақпаратты жақсы жеткізу үшін қолданылады.
Қате пайдалану
Екіншілік белгілерді дұрыс қолданбау модельді түсіну үшін қажетті күш-жігердің мөлшерін айтарлықтай арттыра алса, екіншілік белгілерді дұрыс қолданбау да зиянды болуы мүмкін. Симметрияны қолдану графикті визуалды түрде тартымды ете алады, бірақ дұрыс қолданбаған жағдайда қате түсініктерді жеткізе алады. Мысалы, бір-біріне қатысы жоқ нәрселерді бір-біріне жақын орналастырған кезде, оқырман оларды бір-бірімен байланысты деп қабылдауы мүмкін. Сондай-ақ, түрлі-түсті бояуларды кез келген адамға таңғалдырып, оның назарын басқа нәрсеге аударуы мүмкін.
Сарапшылар мен жаңадан келгендер
Жеке тұлғалардың екіншілік белгілерді түсіну және қолдану қабілеті тиісті саладағы тәжірибеге байланысты әр түрлі болатыны дәлелденді. Белгілі бір саланың мамандары, әдетте, екіншілік белгілер арқылы берілген ілмектерді көбірек пайдалана алады. Нақтырақ айтқанда, диаграммаларды оқыған кезде сарапшылардың диаграмманың үлкен құрылымын оқып, оны ресми белгілермен қамтамасыз етілген егжей-тегжейлі мәліметтерді зерттеуде пайдалануда шеберлігі жоғары екені дәлелденді. Бұл формальды жазудың егжей-тегжейіне көбінесе назар аударатын, екіншілік жазудың берген нұсқауына мән бермейтін жаңадан келгендерге қарағанда. Екіншілік белгілерді пайдаланатын құжаттарды жасау кезінде тәжірибе / сараптама деңгейіне негізделген айырмашылықтар да бар. Сарапшылар конвенцияларды қолдануда біркелкі болады, ал жаңадан танылғандар конвенциялардың арасында әр түрлі болады, кейде олар беткі деңгейде ұстанады, бірақ қажетті ақпаратты жеткізе алмайды. Схемалық схемалар жағдайында, бұл логикалық симметрия жоқ жерде визуалды симметрия жасау және әр түрлі екіншілік белгілеу конвенциялары арасындағы жиі ауысу сияқты жалпы жаңадан басталған қателіктермен сипатталады.