Rabin Automaton

CHF 42.60
Auf Lager
SKU
VUPLM8INBRV
Stock 1 Verfügbar
Geliefert zwischen Mi., 04.02.2026 und Do., 05.02.2026

Details

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematics, a Rabin automaton is one of the many types of finite automata on infinite strings. It is of the form mathcal{A} = (Q,~Sigma,~q0,~delta,~Omega) where Q,~q0 and are defined as for Büchi automata. delta: Q times Sigma rightarrow Q is the transition function, and is a set of pairs (Ej,~Fj) with Ej, Fj subseteq Q. mathcal{A} accepts the input word if for the run rho in Q^omega of mathcal{A} on there exists an index i such that some state from Fi is visited infinitely often, while all states from Ei are visited finitely often.

Weitere Informationen

  • Allgemeine Informationen
    • GTIN 09786130580827
    • Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
    • Größe H220mm x B220mm
    • EAN 9786130580827
    • Format Fachbuch
    • Titel Rabin Automaton
    • Herausgeber Betascript Publishing
    • Anzahl Seiten 96
    • Genre Mathematik

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470
Kundenservice: customerservice@avento.shop | Tel: +41 44 248 38 38