Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Büchi-Automat

Endlicher Automat

Subject heading

Büchi-Automat

Definition

Ein nicht-deterministischer endlicher Automat, der unendliche Wörter akzeptiert (aus: Glossar TPG, Uni-Hamburg)

Broader term

Endlicher Automat

Topic

Informatik, Datenverarbeitung

Source

Vorlage

Record type

Allgemeinbegriff

GND-Identifier

4615479-6

Record ID

960273263

Topic of

show all

Characterisation Theorems for Weighted Tree Automaton Models

Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern

Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems

Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

Kleene-Schützenberger and Büchi theorems for weighted timed automata

Kleene-Schützenberger and Büchi theorems for weighted timed automata

Liveness checking as safety checking to find shortest counterexamples to linear time properties

Automata logics, and infinite games : a guide to current research

Automata logics, and infinite games : a guide to current research

System-Level Synthesewerkzeuge : von der Theorie zur Anwendung
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal