Alberto Pettorossi's Books

Techniques for Searching, Parsing, and Matching

By: Alberto Pettorossi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Techniques for Searching, Parsing, and Matching

By: Alberto Pettorossi

In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among others, algorithms for visiting trees, evaluating Boolean expressions, proving propositional formulas, computing paths in graphs, and performing string matching. This book has been used for advanced undergraduate and graduate courses on automata and formal languages, and assumes some prior exposure to the basic notions in that area. Sample programs are presented in Java and Prolog.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

310

Publisher

Springer Nature

Published Date

ISBN 10

3030631893

ISBN 13

9783030631895

Techniques for Searching, Parsing, and Matching

By: Alberto Pettorossi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Techniques for Searching, Parsing, and Matching

By: Alberto Pettorossi

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

310

Publisher

Springer Nature

Published Date

ISBN 10

3030631893

ISBN 13

9783030631895

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

By: Alberto Pettorossi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

By: Alberto Pettorossi

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

374

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540562826

ISBN 13

9783540562825

Automata Theory and Formal Languages

Fundamental Notions, Theorems, and Techniques

By: Alberto Pettorossi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automata Theory and Formal Languages

Fundamental Notions, Theorems, and Techniques

By: Alberto Pettorossi

Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an important role in language translation, compiler construction, and knowledge manipulation in general. Presenting basic notions and fundamental results, this concise textbook is structured on the basis of a correspondence that exists between classes of automata and classes of languages. That correspondence is established by the fact that the recognition and the manipulation of sentences in a given class of languages can be done by an automaton in the corresponding class of automata. Four central chapters center on: finite automata and regular languages; pushdown automata and context-free languages; linear bounded automata and context-sensitive languages; and Turing machines and type 0 languages. The book also examines decidable and undecidable problems with emphasis on the case for context-free languages. Topics and features: Provides theorems, examples, and exercises to clarify automata-languages correspondences Presents some fundamental techniques for parsing both regular and context-free languages Classifies subclasses of decidable problems, avoiding focus on the theory of complexity Examines finite-automata minimalization and characterization of their behavior using regular expressions Illustrates how to derive grammars of context-free languages in Chomsky and Greibach normal forms Offers supplementary material on counter machines, stack automata, and abstract language families This highly useful, varied text/reference is suitable for undergraduate and graduate courses on automata theory and formal languages, and assumes no prior exposure to these topics nor any training in mathematics or logic. Alberto Pettorossi is professor of theoretical computer science at the University of Rome Tor Vergata, Rome, Italy.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

287

Publisher

Springer Nature

Published Date

ISBN 10

3031119657

ISBN 13

9783031119651

New Trends in Neural Computation

International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings

By: José Mira,Joan Cabestany,Alberto Prieto

Write a review Read reviews Take a Quiz Solve Book Puzzle

New Trends in Neural Computation

International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings

By: José Mira,Joan Cabestany,Alberto Prieto

Neural computation arises from the capacity of nervous tissue to process information and accumulate knowledge in an intelligent manner. Conventional computational machines have encountered enormous difficulties in duplicatingsuch functionalities. This has given rise to the development of Artificial Neural Networks where computation is distributed over a great number of local processing elements with a high degree of connectivityand in which external programming is replaced with supervised and unsupervised learning. The papers presented in this volume are carefully reviewed versions of the talks delivered at the International Workshop on Artificial Neural Networks (IWANN '93) organized by the Universities of Catalonia and the Spanish Open University at Madrid and held at Barcelona, Spain, in June 1993. The 111 papers are organized in seven sections: biological perspectives, mathematical models, learning, self-organizing networks, neural software, hardware implementation, and applications (in five subsections: signal processing and pattern recognition, communications, artificial vision, control and robotics, and other applications).

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

772

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540567984

ISBN 13

9783540567981

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

By: Alberto Pettorossi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

By: Alberto Pettorossi

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

374

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540562826

ISBN 13

9783540562825

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

By: Alberto Pettorossi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

By: Alberto Pettorossi

This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses various imaging mechanisms of ferroelectric domains in SPM, quantitative analysis of the piezoresponse signals as well as basic physics of ferroelectrics at the nanoscale level, such as nanoscale switching, scaling effects, and transport behavior. This state-of-the-art review of theory and experiments on nanoscale polarization phenomena will be a useful reference for advanced readers as well for newcomers and graduate students interested in the SPM techniques. The non-specialists will obtain valuable information about different approaches to electrical characterization by SPM, while researchers in the ferroelectric field will be provided with details of SPM-based measurements of ferroelectrics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

275

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540439153

ISBN 13

9783540439158

Book's by Alberto Pettorossi

Techniques for Searching, Parsing, and Matching

Techniques for Searching, Parsing, and Matching

Techniques for Searching, Parsing, and Matching

Techniques for Searching, Parsing, and Matching

Meta-Programming in Logic

Meta-Programming in Logic

Automata Theory and Formal Languages

Automata Theory and Formal Languages

New Trends in Neural Computation

New Trends in Neural Computation

Meta-Programming in Logic

Meta-Programming in Logic

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Username

Password

Username

Password

Password again

Birthday

Email