Semirings, Automata, Languages

W. Kuich

ISBN 10: 3642699618 / ISBN 13: 9783642699610

Published by Springer, Springer Gabler Nov 2011, 2011

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of 'reasonably important' results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series ('AFP theory'). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.

Seller Inventory # 9783642699610

Bibliographic Details

• Title: Semirings, Automata, Languages
• Publisher: Springer, Springer Gabler Nov 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 3642699618
• ISBN 13: 9783642699610
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 21D millimeters 244 millimeters width by 170 millimeters height by 21 millimeters depth
• Weight: 668 grams

About this title

Synopsis

Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series ("AFP theory"). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results.