Publication year: 2007
: 978-3-540-75414-5
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.
: 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