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

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a kieg.
a átolvas, javít
1. sor:
A [[formális nyelv]]ek vizsgálatakor '''ábécé''' alatt tetszőleges Σ [[halmaz|halmazt]] értünk. Az ábécé jellemzően véges halmaz.
{{lektor|2006 januárjából}}
 
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 [[formális nyelv]]eknek 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.