Automaattiteoria
Automaattien teoria on haara tietojenkäsittelyteoria joka käsittelee tutkimuksen automaateista (malli tietokoneet ) sekä ongelmat että nämä automaatit voivat ratkaista .
Se on tärkeä työkalu laskettavuus- ja kompleksiteoriassa . Se löytää käytännön sovelluksia leksikaalisten skannereiden ja jäsenninten suunnittelussa kääntäjän rakentamisessa sekä ohjelmointikielien suunnittelussa .
Automaattiteoria käsittelee muodollisia kieliä ja muodollisia kielioppeja , jotka muun muassa a. tyypillistä , että Chomskyn , sekä malleja automaatit , jotka voivat käsitellä tällaisia kieliä, erityisesti äärelliset automaatit , alaspainamisoperaatiolla automaatteja , soluautomaatit, ja Turingin koneet .
Katso myös
kirjallisuus
- Dieter Schulte: Kombinatoriset ja peräkkäiset verkot: Automaattiteorian perusteet ja sovellukset , Oldenbourg , München 1967
- Claude Elwood Shannon , John McCarthy (toim.): Tutkimukset automaattien teoriasta , Rogner & Bernhard , München 1974 (käännös vuonna 1956 julkaistusta alkuperäisestä antologiasta John von Neumannin , Stephen Cole Kleene , Edward F. Moore , Marvin Minsky )
- Horst H.Homuth: Johdatus automaattiteoriaan matematiikan, tietojenkäsittelytieteen, luonnontieteiden ja insinööritieteiden opiskelijoille , Vieweg Verlag , Braunschweig 1977
- John E.Hopcroft , Rajeev Motwani , Jeffrey Ullman : Johdatus automaatioteoriaan, muodolliset kielet ja monimutkaisuusteoria , 2. tarkistettu. Toim., Pearson Education Saksa , München 2003
- Uwe Schöning : Tietojenkäsittelyteoria - lyhyesti , 5., tarkistettu. Toim., Spektrum Akademischer Verlag , Heidelberg, 2003
- Jan Lunze: Diskreetit tapahtumajärjestelmät: Dynaamisten järjestelmien mallintaminen ja analysointi automaateilla, Markov-ketjut ja Petri-verkot , Oldenbourg, 2006, ISBN 3-486-58071-X
nettilinkit
Commons : Automaattiteoria - kokoelma kuvia, videoita ja äänitiedostoja
Wikisanakirja: automaatiteoria - selitykset merkityksille, sanan alkuperälle, synonyymeille, käännöksille