Skip to main content
SpringerLink
Log in
Book cover

Über die Erkennbarkeit unendlicher Spuren

  • Textbook
  • © 1996

Overview

Authors:
  1. Anca Muscholl

    1. Universität Stuttgart, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: XTEUBNER-TEXTE zur Informatik (XTTI, volume 17)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages 1-8
    Download chapter PDF

  2. Einleitung

    • Anca Muscholl
    Pages 9-14

  3. Erkennbarkeit und unendliche Wörter

    • Anca Muscholl
    Pages 15-31

  4. Spuren und Erkennbarkeit

    • Anca Muscholl
    Pages 32-48

  5. Der Satz von McNaughton für reelle Spuren

    • Anca Muscholl
    Pages 49-63

  6. Deterministische reelle Spursprachen

    • Anca Muscholl
    Pages 64-71

  7. Komplementierung asynchroner Büchi Automaten

    • Anca Muscholl
    Pages 72-86

  8. Sternfreie und aperiodische reelle Spursprachen

    • Anca Muscholl
    Pages 87-91

  9. I-Diamant Automaten

    • Anca Muscholl
    Pages 92-103

  10. Abschließende Bemerkungen

    • Anca Muscholl
    Pages 104-105

  11. Back Matter

    Pages 106-116
    Download chapter PDF
Back to top

Keywords

About this book

Unendliche Mazurkiewicz Spuren stellen einen mathematischen Rahmen dar für die Untersuchung nichtterminierender nebenläufiger Systeme, z. B. verteilter Transaktionssysteme. Eine grundlegende Eigenschaft dabei ist die endliche Kontrollierbarkeit (Erkennbarkeit) des Systemverhaltens. Das vorliegende Buch behandelt den Begriff der Erkennbarkeit für unendliche Spuren aus der Sicht der Automaten mit verteilter Kontrolle. Es werden grundlegende Automaten-Konstruktionen (Determinisierung, Komplementierung) vorgestellt, und damit wird die klassische Theorie der unendlichen Sequenzen zu unendlichen Spuren erweitert.

Authors and Affiliations

  • Universität Stuttgart, Deutschland

    Anca Muscholl

Bibliographic Information

  • Book Title: Über die Erkennbarkeit unendlicher Spuren

  • Authors: Anca Muscholl

  • Series Title: XTEUBNER-TEXTE zur Informatik

  • DOI: https://doi.org/10.1007/978-3-322-95371-1

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: B. G. Teubner Verlagsgesellschaft Leipzig 1996

  • Softcover ISBN: 978-3-8154-2067-6Published: 01 November 1995

  • eBook ISBN: 978-3-322-95371-1Published: 12 June 2019

  • Edition Number: 1

  • Number of Pages: IV, 112

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation