„Ábécé (informatika)” változatai közötti eltérés

A [[formális nyelv]]ek vizsgálatakor '''ábécé''' alatt tetszőleges Σ [[halmaz|halmazt]] értünk. Ennek a Σ halmaznak az elemei tehát lehetnek a hagyományos értelemben vett betűk és/vagy számjegyek is, de lehetnek tetszőleges szimbólumok, jelek is. Az így definiált ábécé elemeiből (azaz a Σ halmaz elemeiből) azok egymás után írásával (konkatenációjával) képezhetünk véges hosszúságú jelsorozatokat, amelyet '''szavaknak''' nevezünk. A Σ elemeiből képezhető összes szó halmazát Σ*-gal jelöljük, a Σ* részhalmazait pedig '''nyelveknek''' nevezzük.

Vegyük észre, hogy jóllehet az ''ábécé'', ''szó'', illetve ''nyelv'' elnevezések megegyeznek a köznapi értelemben használtakkal, valójában azonban itt jóldefiniált fogalmakról van szó, amelyek bizonyos értelemben a köznapi értelemben használt szavak absztrahálásával keletkeznek. Vegyük észre továbbá, hogy a ''nyelv'' definiálásának a célja az, hogy meghatározzuk, hogy az összes lehetséges szó közül, amit adott jelkészlettel képezni tudunk, azaz ''"le tudunk írni''", kiválasszuk azokat a szavakat (azt a részhalmazát Σ*-nak), amelyek az adott nyelven ''"értelmesek''", jelentéssel bírnak.