Азбука (информатика): Разлика помеѓу преработките

[непроверена преработка][проверена преработка]
Избришана содржина Додадена содржина
с Бот додава Шаблон: Без извори
с Бот: козметички промени
Ред 4:
Со дадена азбука <math>\Sigma</math>, пишуваме <math>\Sigma^*</math> за да го означиме множеството од сите коенчни низи ширум азбуката <math>\Sigma</math>. Тука, <math>{}^*</math> го означува операторот [[Клиниева ѕвездичка]]. Пишуваме <math>\Sigma^\infty</math> (или понекогаш, <math>\Sigma^\N</math> или <math>\Sigma^\omega</math>) за да го означи множеството од сите бесконечни низи ширум азбуката <math>\Sigma</math>.
 
На пример, ако ја користиме бинарната азбука {0,1}, низите {ε, 0, 1, 00, 01, 10, 11, 000, и тн.) би биле во Клиниевата затвореност на азбуката (каде ε означува [[празна ниска|празна ниска]])
 
Азбуките се од големо значење кај [[формален јазик|формалните јазици]], [[Теорија на автомати|автоматите]] и [[полуавтомат]]ите. Во најголемиот број случаи, за да дефинираме на инстанци кај автоматите, како [[детерминистички конечен автомат|детерминистичките конечни автомати]], мораме да назначиме азбука од која се градат влезните ниски за автоматизација.
 
== Видете исто така ==
* [[Формален јазик]]
* [[Синтакса]]
* [[Семантика]]
* [[Формален систем]]
 
[[Категорија:Формални јазици]]