XTEUBNER-TEXTE zur Informatik
cover

Über die Erkennbarkeit unendlicher Spuren

Buy this book

eBook $49.99
price for USA (gross)
  • ISBN 978-3-322-95371-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-8154-2067-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Einleitung

    Pages 9-14

    Muscholl, Dr. Anca

  • Erkennbarkeit und unendliche Wörter

    Pages 15-31

    Muscholl, Dr. Anca

  • Spuren und Erkennbarkeit

    Pages 32-48

    Muscholl, Dr. Anca

  • Der Satz von McNaughton für reelle Spuren

    Pages 49-63

    Muscholl, Dr. Anca

  • Deterministische reelle Spursprachen

    Pages 64-71

    Muscholl, Dr. Anca

Buy this book

eBook $49.99
price for USA (gross)
  • ISBN 978-3-322-95371-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-8154-2067-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Über die Erkennbarkeit unendlicher Spuren
Series Title
XTEUBNER-TEXTE zur Informatik
Series Volume
17
Copyright
1996
Publisher
Vieweg+Teubner Verlag
Copyright Holder
B. G. Teubner Verlagsgesellschaft Leipzig
eBook ISBN
978-3-322-95371-1
DOI
10.1007/978-3-322-95371-1
Softcover ISBN
978-3-8154-2067-6
Edition Number
1
Number of Pages
IV, 112
Number of Illustrations
1 b/w illustrations
Topics