Picturesareimportant, ineverydaylifeaswellasinart, engineering, andmost branches of the natural and social sciences. About three decades ago, the - servation that simple geometric processes often yield very complex geometric objects (i.e., pictures) gave rise to new branches of mathematics whose p- pose was to study such processes and the resulting pictures: fractal geometry, dynamic systems, and chaos theory. More or less in parallel with this dev- opment, the increasing availability of computer desktop systems and other graphical output devices made computer scientists think about formal s-...
Picturesareimportant, ineverydaylifeaswellasinart, engineering, andmost branches of the natural and social sciences. About three decades ago, the - se...
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umea, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern...
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in ...
This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017.
The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown...
This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, he...