Hua Nam Son, Gubán Ákos

Számítástudomány


5.4.2.1. Formális rendszerek

  1. Formális rendszer
    A Φ=V,H pár egy formális rendszer, ahol
    • V egy véges ábécé,
    • H pedig a V*×V* direkt szorzat nem üres, véges részhalmaza.
      A H elemét helyettesítési szabálynak nevezzük, és ha x,yH, akkor szoktuk használni az xy jelölést, és azt mondjuk, hogy az x szó helyettesíthető az y szóval. H valójában egy V* feletti binér reláció.
     
  2. Közvetlen levezetés
    Legyen Φ=V,H egy formális rendszer, és u,vV*. Azt mondjuk, hogy Φ-ben v közvetlenül levezethető u -ból, ha van xyH, és r,sV*, amire u=rxs, v=rys. Ekkor ezt így jelöljük: uv.
     
  3. Levezethetőség
    Legyen Φ=V,H egy formális rendszer, és u,vV*. Azt mondjuk, hogy Φ-ben v levezethető u-ból, ha
    • v=u, vagy
    • van x1, x2, ,  xnV*, x1=u, xn=vV*, és minden i=1,2,,n-1-re: xixi+1.
      Ha v levezethető u-ból, akkor így jelöljük: u*v.

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