ISBN: 9781461397717

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and… More...

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and early 1970's, it received renewed attention due to interest in formal language theory. In the 1980's and 1990's, it has received more interest since it can be viewed as a special case of term­ rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations of artificial intelligence. A sketch of the way that the subject has developed is contained in Chapter 0, and the reader is advised to begin with that chapter. Both authors have been active in the field and have lectured on the subject in several universities. Lecture notes have been produced and dis­ tributed. This monograph is a result of revising and rewriting those notes. It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo­ rithmic problems of algebraic structures. This monograph is written for independent study by researchers in the­ oretical computer science or in the foundations of artificial intelligence. Books > Computer Science eBook, Springer Shop<

ISBN: 9781461397717

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and… More...

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and early 1970's, it received renewed attention due to interest in formal language theory. In the 1980's and 1990's, it has received more interest since it can be viewed as a special case of term­ rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations of artificial intelligence. A sketch of the way that the subject has developed is contained in Chapter 0, and the reader is advised to begin with that chapter. Both authors have been active in the field and have lectured on the subject in several universities. Lecture notes have been produced and dis­ tributed. This monograph is a result of revising and rewriting those notes. It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo­ rithmic problems of algebraic structures. This monograph is written for independent study by researchers in the­ oretical computer science or in the foundations of artificial intelligence. COMPUTERS,Intelligence (AI) & Semantics, eBooks.com<

ISBN: 9781461397717

String-Rewriting Systems: ab 82.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer New York eBook als pdf, Springer New York

ISBN: 9781461397717

; EPUB; Computing > Computer science > Artificial intelligence, Taylor Trade Publishing

2012, ISBN: 9781461397717

eBooks, eBook Download (PDF), [PU: Springer New York], Springer New York, 2012