Algebraic Informatics
Publication year: 2007
ISBN: 978-3-540-75414-5
Internet Resource: Please Login to download book
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.
Subject: Computer Science, Processing, algebra, algebraic specification, algebraic verification, automata, calculi, context-free grammars, deterministic learning, formal methods, formal testing, linear languages, modal logic, modling, process calculi, semantics
