Hua Nam Son, Gubán Ákos

Számítástudomány


5.4.2.4. Generatív nyelvtan

Definíció
Generatív nyelvtannak nevezünk olyan Γ=Vn, Vt,  S,  H négyest, ahol
  • Vn egy ábécé, a nemterminális betűk ábécéje,
  • Vt egy ábécé, a terminális betűk ábécéje, amelyre VnVt=,
  • SVn a kezdő szimbólum,
  • H pedig olyan αβ helyettesítési szabályok véges halmaza, amelyekben α,  βVnVt*, és az α -ban van legalább egy nemterminális betű.
Generatív nyelvtanok által generált nyelvek: Legyen Γ=Vn, Vt,  S,  H egy generatív nyelvtan. Γ-hez rendeljünk hozzá egy Vt feletti LΓ nyelvet, amelyet Γ nyelvtan által generált nyelvnek nevezünk:
LΓ=vVt*S*v
 
Két generatív nyelvtan ekvivalenciája. Azt mondjuk, hogy két generatív nyelvtan ekvivalens, ha ugyanazt a nyelvet generálja.
 
Példa
A példában a „|” jelet választójelként használjuk. Tekintsük a Γ=Vn, Vt,  S,  H generatív nyelvtant, ahol:
Vn = {program, utasításlista, utasítás, értékadó, feltételes, ciklus, blokk, reláció, kifejezés, tag, relációjel, műveleti jel, változó, konstans}
Vt = { ; , :=, if, then, else, while, do, begin, end, <, >, =, +, *, x, y, z, 0, 1 }
S = program
H = {
program → utasításlista
utasításlista → utasítás utasítás ; utasításlista
utasítás → értékadó | feltételes | ciklus | blokk
értékadó → változó := kifejezés
feltételes → if reláció then utasítás else utasítás
ciklus → while reláció do utasítás
kifejezés → tag | (kifejezés műveleti jel kifejezés)
blokk → begin utasításlista end
reláció → kifejezés relációjel kifejezés
tag → változó | konstans
relációjel → < | > | =
műveleti jel → + | *
változó → x | y | z
konstans → 0 | 1
}
 
A Γ generatív nyelvtan által generált program:
x := 0; z := 1; while x < z do begin x := ((x + 1) + 1); z := (z * x); end
 

Számítástudomány

Tartalomjegyzék


Kiadó: Akadémiai Kiadó

Online megjelenés éve: 2018

ISBN: 978 963 454 217 9

A BGE Gazdaságinformatikus szak egyik legfontosabb alapozó tantárgya a Számítástudomány, amely bevezetést nyújt a matematikai logika és a formális nyelvek elméletébe, az automataelméletbe, valamint a programozás alapjaiba. A tárgyat több mint hat éve oktatjuk, és szükség volt egy olyan átfogó oktatási anyagra, mely a tárgy megértéséhez nyújt segítséget a hallgatók számára. A könyv felépítése jól körülhatárolja a témákat, valamint mintapéldák segítségével javítja az elméleti anyagok gyakorlatba történő leképezését.

A szerzők elsősorban informatikai és közgazdasági ismeretekkel rendelkező hallgatók számára nyújtanak betekintést a Számítástudomány eszközeiről, módszereiről és módszertanairól. Elsősorban Gazdaságinformatikus hallgatók számára készült a könyv, de olvasása hasznos lehet Gazdálkodás és menedzsment, valamint Pénzügy és számvitel szakos hallgatók számára is. Kiegészítő információkat tartalmaz a mélyebb matematikai alapokkal nem rendelkező hallgatók számára az informatikai elveket biztosító matematikai elméletek megismertetésében. Szemléletében műszaki-matematikai vonalat követ, ezáltal komplexebb rálátást nyújt az IT elveinek szélesebb körű megismeréséhez. Sok sikert és élvezetes tanulmányozást kívánunk!

A szerzők

Hivatkozás: https://mersz.hu/hua-guban-szamitastudomany//

BibTeXEndNoteMendeleyZotero

Kivonat
fullscreenclose
printsave