Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 99 von 623 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4615479-6
Sachbegriff Büchi-Automat
Quelle Vorlage
Erläuterungen Definition: Ein nicht-deterministischer endlicher Automat, der unendliche Wörter akzeptiert (aus: Glossar TPG, Uni-Hamburg)
Oberbegriffe Endlicher Automat
DDC-Notation 006.3
511.35
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 8 Publikationen
  1. Automata for Branching and Layered Temporal Structures
    Puppis, Gabriele. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
  2. Automata for branching and layered temporal structures
    Puppis, Gabriele. - Berlin : Springer, 2010
  3. ...
Maschinell verknüpft mit 3 Publikationen
  1. Characterisation Theorems for Weighted Tree Automaton Models
    Dörband, Frederic. - Dresden : Technische Universität Dresden, 2022
  2. Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
    Göggelmann, Manuel. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2015
  3. ...





Treffer 99 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration