Automata, Formal Languages And Algebraic Systems - Proceedings Of Aflas 2008

by Masami Ito (Editor), Yuji Kobayashi (Editor), Kunitaka Shoji (Editor)

Overview

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.

Product Details

ISBN-13:	9789814317603
Publisher:	World Scientific Publishing Company, Incorporated
Publication date:	09/29/2010
Pages:	248
Product dimensions:	6.10(w) x 9.00(h) x 0.90(d)

Table of Contents

Preface v

Solidifyable Minimal Clone of Partial Operation S. Busaman K. Denecke 1

A Novel Cryptosystem Based on Finite Automata Without Output P. Dömösi 23

Linear Languages of Finite and Infinite Words Z. Ésik M. Ito W. Kuich 33

Extended Temporal Logics on Finite Words Z. Ésik Sz. Iván 47

The Number of Distinct 4-Cycles and 2-Matchings of Some Zero-Divisor Graphs M. Kanemitsu 63

On Normal Form Grammars and Their Size A. Kelemenová L. Ciencialová L. Cienciala 71

Gröbner Bases on Algebras Based on Well-Ordered Semigroups Y. Kobayashi 85

Concurrent Finite Automata and Related Language Classes M. Kudlek G. Zetzsche 103

Finitely Expandable Deep PDAs P. Leupold A. Meduna 113

The Primitivity Distance of Words G. Lischke 125

Fine Convergence of Functions and Its Effectivization T. Mori M. Yasugi Y. Tsujii 139

On a Hierarchy of Permutation Languages B. Nagy 163

Derivation Trees for Context-Sensitive Grammars B. Nagy 179

On Proper Languages and Transformations of Lexicalized Types of Automata F. Otto 201

Initial Literal Shuffles of Uniform Codes G. Tanaka Y. Kunimochi 223