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

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

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

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

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

Поврзано

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