Азбука (информатика)

Во информатиката, азбука претставува конечно множество на знаци и броеви. Најчестата азбука во употреба е {0,1}, бинарната азбука. Конечна ниска е конечна низа знаци од една азбука; на пример, бинарната ниска е ниска изведена од азбуката {0,1}. Конечна низа знаци може да се состави исто така и од елементите на азбуката.

Со дадена азбука $\Sigma$, пишуваме $\Sigma ^{*}$ за да го означиме множеството од сите коенчни низи ширум азбуката $\Sigma$. Тука, ${}^{*}$ го означува операторот Клиниева ѕвездичка. Пишуваме $\Sigma ^{\infty }$ (или понекогаш, $\Sigma ^{\mathbb {N} }$ или $\Sigma ^{\omega }$) за да го означи множеството од сите бесконечни низи ширум азбуката $\Sigma$.

На пример, ако ја користиме бинарната азбука {0,1}, низите (ε, 0, 1, 00, 01, 10, 11, 000, итн.) би биле во Клиниевата затвореност на азбуката (каде ε означува празна ниска)

Азбуките се од големо значење кај формалните јазици, автоматите и полуавтоматите. Во најголемиот број случаи, за да дефинираме на инстанци кај автоматите, како детерминистичките конечни автомати, мораме да назначиме азбука од која се градат влезните ниски за автоматизација.

Поврзано

• Формален јазик
• Синтакса
• Семантика
• Формален систем