Loading AI tools
в інформатиці і математичній логіці це скінченний набір символів або літер З Вікіпедії, вільної енциклопедії
В інформатиці і математичній логіці, абетка це скінченний набір символів або літер, наприклад букви і цифри. Найбільш вживана абетка це {0,1}, двійкова абетка. Скінченний рядок це скінченна послідовність літер з абетки; наприклад двійковий рядок це рядок утворений з абетки {0,1}. Нескінченні послідовності літер так само можуть бути утворені з елементів будь-якої абетки.
Дана абетка , ми пишемо щоб позначити набір всіх скінченних рядків над цією абеткою. Тут, позначає оператор зірка Кліні. Ми пишемо (або іноді, або ) для позначення набору всіх нескінченних послідовностей над абеткою .
Наприклад, якщо ми використовуємо двійкову абетку {0,1}, рядки (ε, 0, 1, 00, 01, 10, 11, 000 і т. д.) всі будуть в замиканні Кліні абетки (де ε представляє порожній рядок)
Абетки важливі при використанні формальних мов, автоматів і напіватоматів. В більшості випадків, для визначення таких прикладів автоматів як детермінований скінченний автомат, необхідно визначити абетку з якої будується вхідний рядок для автомата.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.