Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Semilattices of Fault Semiautomata Read chapter Read first chapter

1999 | OriginalPaper | Chapter

Counter Machines: Decision Problems and Applications

Authors : Oscar H. Ibarra, Jianwen Su

Published in: Jewels are Forever

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

We give a brief survey of the (un)decidable properties of multicounter machines. In particular, we present some of the strongest decidable results (concerning emptiness, containment, and equivalence) known to date regarding these machines. We also discuss some applications.

previous chapter Tree-Walking Pebble Automata
next chapter On the Equivalence of Finite Substitutions and Transducers
Metadata
Title
Counter Machines: Decision Problems and Applications
Authors
Oscar H. Ibarra
Jianwen Su
Copyright Year
1999
Publisher
Springer Berlin Heidelberg
Book
Jewels are Forever

Print ISBN: 978-3-642-64304-0

Electronic ISBN: 978-3-642-60207-8

Copyright Year: 1999

DOI
https://doi.org/10.1007/978-3-642-60207-8_8

Premium Partner

    Image Credits