| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910788556603321 |
|
|
Titolo |
Automata, formal languages and algebraic systems [[electronic resource] ] : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 / / edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-283-14488-3 |
9786613144881 |
981-4317-61-6 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (250 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
ItōMasami <1941-> |
KobayashiYūji |
ShojiKunitaka |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Formal languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Preface; CONTENTS; 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 In nite Words Z. Esik, M. Ito and W. Kuich; Extended Temporal Logics on Finite Words Z. Esik and Sz. Iv an; The Number of Distinct 4-Cycles and 2-Matchings of Some Zero-Divisor Graphs M. Kanemitsu; On Normal Form Grammars and Their Size A. Kelemenov a, L. Ciencialov a 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. ZetzscheFinitely Expandable Deep PDAs P. Leupold and A. Meduna; The Primitivity Distance of Words G. Lischke; Fine Convergence of Functions and Its E ectivization 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 Shu es of Uniform Codes G. Tanaka and Y. Kunimochi |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |