Automata, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 / edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji.

Includes bibliographical references.

Solidifyable minimal clone of partial operation / S. Busaman and K. Denecke -- A novel cryptosystem based on finite automata without output / P. Domosi -- Linear languages of finite and infinite words / Z. Esik, M. Ito and W. Kuich -- Extended temporal logics on finite words / Z. Esik and Sz. Ivan -- The number of distinct 4-cycles and 2-matchings of some zero-divisor graphs / M. Kanemitsu -- On normal form grammars and their size / A. Kelemenova, L. Ciencialova and L. Cienciala -- Grobner bases on algebras based on well-ordered semigroups / Y. Kobayashi -- Concurrent finite automata and related language classes / M. Kudlek and G. Zetzsche -- Finitely expandable deep PDAs / P. Leupold and A. Meduna -- The primitivity distance of words / G. Lischke -- Fine convergence of functions and its effectivization / T. Mori, M. Yasugi and Y. Tsujii -- On a hierarchy of permutation languages / B. Nagy -- Derivation trees for context-sensitive grammars / B. Nagy -- On proper languages and transformations of lexicalized types of automata / F. Otto -- Initial literal shuffles of uniform codes / G. Tanaka and Y. Kunimochi.

This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner bases, minimal clones, zero-divisor graphs, fine convergence of functions and others.

Print version record.

English.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide