Ábécé (informatika)

 Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye.
Ez a szócikk az informatikában használt ábécéfogalomról szól. Hasonló címmel lásd még: ábécé.

A formális nyelvek vizsgálatakor ábécé alatt tetszőleges, ám meghatározott jelek halmazát értjük. Az ábécé jellemzően véges halmaz.

Ennek a Σ halmaznak az elemei 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 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.

Példák

  • Legyenek Σ elemei az ASCII karakterek. Ekkor Σ* elemei a véges ASCII jelsorozatok, beleértve a teljesen "értelmetlen" karaktersorozatokat is. Ezekből azonban kiválogathatjuk azokat a jelsorozatokat, amelyek egy-egy C++ programnak felelnek meg és ekkor a Σ fölött definiált nyelv az összes szintaktikusan helyes C++ program halmaza.
  • Legyenek Σ elemei a magyar ábécé betűi, illetve magyar nyelv által használt írásjelek, beleértve a szóközt is. Ekkor József Attila minden verse megfeleltethető egy-egy szónak a Σ*-ban, és a nyelv maga állhat József Attila összes költeményeiből.

Halmazelméleti vonatkozások

A ábécé és az ábécé elemein definiált konkatenáció mint kétváltozós művelet félcsoportot alkot, hiszen a konkatenáció a definíciójából következően asszociatív művelet.

Kapcsolódó szócikkek

További információk

  • Csirmaz László: Matematikai logika egyetemi jegyzet, ELTE Bp., 1994 (Postscript változat)
  • Szendrei Ágnes: Diszkrét matematika Logika, algebra, kombinatorika, Polygon Szeged, 1994

Read other articles:

The Happy Egg Company

The Happy Egg CompanyTypePrivateIndustryPoultryFounded2012 HeadquartersRogers, Arkansas, United StatesArea servedUnited StatesWebsitehappyegg.com The Happy Egg Company is an American egg producer headquartered in Rogers, Arkansas. It is the first commercial egg producer in the U.S. to be certified by the American Humane Association. History The Happy Egg Company was established in the United States in 2012, reporting sales of one million eggs by 2014.[1][2][3] The...

 

Don't Bet on Blondes

1935 film by Robert Florey Don't Bet on BlondesDirected byRobert FloreyWritten byIsabel DawnBoyce DeGawProduced bySamuel BischoffStarringWarren WilliamGuy KibeeCinematographyWilliam ReesEdited byThomas RichardsMusic byLeo F. ForbsteinDistributed byWarner BrothersRelease date July 13, 1935 (1935-07-13) Running time59 minutesCountryUnited StatesLanguageEnglish Don't Bet on Blondes is a 1935 American romantic comedy film. Plot summary When top Broadway bookmaker Odds Owen (Warren ...

 

Dalstein

Dalstein Dalstein (Frankreich) Staat Frankreich Region Grand Est Département (Nr.) Moselle (57) Arrondissement Forbach-Boulay-Moselle Kanton Bouzonville Gemeindeverband Bouzonvillois-Trois Frontières Koordinaten 49° 18′ N, 6° 25′ O49.3077777777786.4105555555556Koordinaten: 49° 18′ N, 6° 25′ O Höhe 222–337 m Fläche 3,97 km² Einwohner 376 (1. Januar 2020) Bevölkerungsdichte 95 Einw./km² Postleitzahl 57320 INSEE-Code 571...

Ciencia Social (revista)

Portada de Ciencia Social, Núm 1, 2° época, 1898Ciencia Social fue una revista anarquista editada mensualmente por Fortunato Serantoni en Buenos Aires. Se fundó com continuación de La Questione Sociale. Se publicó desde abril de 1897 hasta 1899, por 13 números. Luego se retomó su publicación en una segúnda época hasta 1901. Fue dirigida por Fortunato Serantoni, propietario de la editorial y librería anarquista Librería Sociológica, ubicada en la calle Corrientes 2041. Allí tamb...

 

Europawahl in Italien 2009

← 2004Europawahl in Italien 20092014 →  %403020100 35,2626,1210,218,006,513,393,132,432,222,73 PdLaPDbLNIdVUdCPRCfSELgLBPhLAiSonst. Gewinne und Verluste im Vergleich zu  %p   6   4   2   0  -2  -4  -6 −1,64 −4,96+5,25+5,86+0,62−5,09+0,66+0,18+1,07−1,95 PdLaPDbLNIdVUdCPRCfSELgLBPhLAiSonst.Vorlage:Wahldiagramm/Wartung/Anmerkungen Anmerkungen:a Fusion FI, AN und weitere Parteienb 2004 ...

 

Terre d'Espagne (film)

Pour les articles homonymes, voir Terre d'Espagne. Terre d'Espagne Données clés Titre original The Spanish Earth Réalisation Joris Ivens Scénario Joris Ivens, Prudencio de Pereda, John Dos Passos, Lillian Hellman, Ernest Hemingway, Archibald Macleish Pays de production États-Unis Genre Documentaire Durée 51 minutes Sortie 1937 Pour plus de détails, voir Fiche technique et Distribution Terre d'Espagne est un film documentaire américain réalisé par Joris Ivens sorti en 1937. Synopsis ...

Cục Chính trị, Bộ Tổng Tham mưu Quân đội nhân dân Việt Nam

Cục Chính trị Bộ Tổng Tham mưuHoạt động8/6/1948 (75 năm, 179 ngày)Quốc gia Việt NamPhục vụ Quân đội nhân dân Việt NamPhân loạiCục chuyên ngành (Nhóm 3)Chức năngLà cơ quan chính trị trong BTTMQuy mô1.500 ngườiBộ phận củaTập tin:Vietnam People's Army General Staff insignia.jpgBộ Tổng Tham mưuBộ chỉ huyHà NộiCác tư lệnhCục trưởngĐại tá Nguyễn Ngọc Đoàn Cục Chính trị [1 ...

 

Charmer (N-Dubz song)

2022 single by N-DubzCharmerSingle by N-DubzReleased19 May 2022 (2022-05-19)Genre Afroswing UK rap Length3:08LabelXplodedSongwriter(s) Costadinos Contostavlos Richard Rawson Tula Contostavlos Junior Edwards Rodney Hwingwiri Producer(s)RymezN-Dubz singles chronology Morning Star (2011) Charmer (2022) February (2023) Charmer is a song by English hip hop trio N-Dubz. The song was written by the trio, Junior Edwards, and its producer Rymez. On 19 May 2022, Charmer premiered on BBC ...

 

Novo Cinemas

Novo CinemasTypePrivate companyFoundedMay 15, 2000; 23 years ago (2000-05-15)HeadquartersDubai, United Arab EmiratesNumber of locations15Area servedUAE, Qatar, Bahrain and OmanKey peopleJaber Al Ansari, Group CEO, Elan Group[1]OwnerElan Qatar W.L.LWebsitenovocinemas.com Novo Cinemas is a movie theatre chain owned by Elan Group Qatar operating in the United Arab Emirates (U.A.E.), Qatar and Bahrain. It is headquartered in Doha and considered one of the larger cinema c...

Spanking Love

1995 Japanese filmSpanking LoveCover to the Japanese VHS release of Spanking Love (1995)Directed byShōji Tanaka[1]Written byKenichi YamakawaProduced byIssei HashiguchiStarringToshio KakeiKumi ShiraishiYoshiko YuraCinematographyKōichi SaitōEdited byToshirō MatsutakeMusic byCO FusionProductioncompanyJapan Home Video[2]Distributed byDaieiRelease dateMay 6, 1995Running time100 minutesCountryJapanLanguageJapanese Spanking Love (スパンキング・ラブ) is a 1995 Japanese er...

 

Albert Augustus Isaacs

Memory to Albert August Isaacs in Düsseldorf Rev. Albert Augustus Isaacs (24 January 1826 – 15 November 1903) was a British clergyman, historian and anthropologist, specialising in the history of the Jews and Arabs in the Middle East, as well as an amateur photographer who took some of the earliest images of the Holy Land. Of major note is his biography of the Reverend Henry Aaron Stern (1820–1885), published in 1886, who for more than forty years was a missionary amongst the Jews. The b...

 

BSI (ドイツ)

ボンのBSI庁舎 BSI（Bundesamt für Sicherheit in der Informationstechnik）は、ドイツ連邦政府においてコンピュータと通信のセキュリティ担当部門である。 英語では Federal Office for Information Security と呼ばれており、これはドイツ語名の直訳である。 日本語では情報セキュリティ庁[1]（室[2]）, 連邦電子情報保安局[3][4], 連邦情報技術安全局[5]（庁[6]...

Mark Fowler

Fictional character from the BBC soap opera EastEnders For other people named Mark Fowler, see Mark Fowler (disambiguation). Soap opera character Mark FowlerEastEnders characterTodd Carty as Mark Fowler (2003)Portrayed byDavid Scarboro (1985–1987)Todd Carty (1990–2003)Duration1985–1987, 1990–2003First appearanceEpisode 1 Poor Old Reg19 February 1985 (1985-02-19)Last appearanceEpisode 2466 14 February 2003 (2003-02-14)ClassificationFormer; r...

 

Carl E. Walz

American astronaut Carl Erwin WalzWalz in July 1995Born (1955-09-06) 6 September 1955 (age 68)Cleveland, OhioStatusRetiredNationalityAmericanOccupationEngineerSpace careerNASA AstronautRankColonel, USAFTime in space230 d 13 h 04 mSelection1990 NASA GroupMissionsSTS-51, STS-65, STS-79, STS-108, Expedition 4, STS-111Mission insignia Carl Erwin Walz (Colonel, USAF, Ret.) (born 6 September 1955) is a retired NASA astronaut currently working for Orbital Sciences Corporation's Advanced Program...

 

Montepuez River

Montepuez River (1899) The Montepuez River in northern Mozambique (center right) The Montepuez River is a river of Mozambique. It flows to the south of the Ruvuma River, and is characterised by seasonal flows and lined by swamps.[1] References ^ Coastal East Africa. Feow.org. Archived from the original on 12 August 2014. Retrieved 10 August 2014. vteRivers of MozambiqueRivers Buzi Chinde Komati Licungo Limpopo Luambala Lugenda Lúrio Maputo Mazowe Megaruma Messalo Mocubúri Monapo Mon...

Pakistan Today

Pakistani newspaper Pakistan TodayTypeDaily newspaperBroadsheetFormatBerlinerOwner(s)Nawa Media CorporationFounder(s)Arif NizamiPublisherArif NizamiEditorArif Nizami, Sarmad BashirStaff writersBabur Nizami (chief operating officer)Founded8 October 2006; 17 years ago (2006-10-08)Political alignmentLiberal, moderateLanguageEnglishHeadquartersLahore, Punjab, PakistanISSN1098-8424OCLC number38894207 Websitepakistantoday.com.pk Pakistan Today is a Pakistani English-language daily...

 

Betsey Cook

Nurse for the Union Army during the American Civil War This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (February 2018) Betsey A. Cook, Civil War Nurse, Union Army Betsey Cook was a nurse for the Union Army during the American Civil War, serving from 1861 to 1863.[1] Civil War service Not much is known about Cook's early life, except that she was living in Augusta, Illinois at...

 

Bimini twist

Fishing knot Bimini twist The Bimini twist [1] is a fishing knot used for offshore trolling and sportsfishing and the creation of double-line leaders. A Bimini twist creates a loop at the end of the line in which it is tied. The loop secured at the top with a long barrel of coiled line created by the tying process. A Bimini twist loop is stronger than the line itself. It is one of the rare knots that does not weaken the line in which it is tied.[citation needed] It is a simple...

フェデラル・ファンド金利

フェデラル・ファンド金利（フェデラルファンドきんり、英: federal funds rate、FF金利、FFレート）とは、米国のフェデラル・ファンド市場の金利のこと。フェデラル・ファンド市場（FF市場）とは、米国の銀行が中央銀行に預けている預金（準備預金）を貸し借りする市場のこと。フェデラル・ファンド市場にて米国の銀行間で無担保でオーバーナイト（1営業日）で貸...

 

Mengistu Haile Mariam

Mengistu Haile MariamChairman of the Derg and Head of State of EthiopiaIn office3 February 1977 – 10 September 1987Preceded byTafari BentiSucceeded byPosition abolishedPresident of EthiopiaIn office10 September 1987 – 21 May 1991Prime MinisterFikre Selassie WogderessHailu YimenuTesfaye DinkaVice PresidentTesfaye Gebre KidanPreceded byPosition establishedSucceeded byTesfaye Gebre Kidan Personal detailsBorn (1937-05-21) 21 May 1937 (age 87)Walayita, EthiopiaPolitical ...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!