Hua Nam Son, Gubán Ákos

Számítástudomány


5.7. Veremautomata által felismert nyelvek

Tétel
Tetszőleges nyelvre az alábbi állítások ekvivalensek:
  1. környezetfüggetlen nyelv.
  2. a veremautomata által üres veremmel felismert nyelv.
  3. a veremautomata által végállapottal felismert nyelv.
 
A tétel bizonyítását a szakirodalomban megtalálhatjuk, itt mellőzzük.

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