Wyniki wyszukiwania:

This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With introductory sections that make the topics easily accessible to students, the papers in this volume will appeal to beginning graduate students and experienced researchers alike. As a whole, this book offers a cross-section view of the areas in group, module, and model theory, covering topics such as...

This book contains the proceedings of the conference "Groups and Model Theory", held May 30-June 3, 2011, in Ruhr, Germany, in honour of Rudiger Gobel's 70th birthday. In the last thirty years, group theory has received new input through the application of methods from logic to problems in algebra. In particular, model theory has strongly influenced both commutative and non-commutative group theory. This led to striking new developments in group theory and has had an interesting impact back on model theory. This interplay has been revisited by algebraists and model theorists and is showing...

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic ?nite automata in which the transitions carry weights. These weights may model, e. g., the cost involved when executing a transition, the amount of resources or time neededforthis, ortheprobabilityorreliabilityofitssuccessful execution. The behavior of weighted ?nite automata can then be considered as the function (suitably de?ned) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata...