03544nam 2200625 a 450 991078855660332120230725045600.01-283-14488-39786613144881981-4317-61-6(CKB)3360000000001400(EBL)731102(OCoLC)741492797(SSID)ssj0000632322(PQKBManifestationID)12204942(PQKBTitleCode)TC0000632322(PQKBWorkID)10609496(PQKB)10908022(MiAaPQ)EBC731102(WSP)00001164 (Au-PeEL)EBL731102(CaPaEBR)ebr10480236(CaONFJC)MIL314488(EXLCZ)99336000000000140020110713d2010 uy 0engur|n|---|||||txtccrAutomata, formal languages and algebraic systems[electronic resource] proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /edited by Masami Ito, Yuji Kobayashi, Kunitaka ShojiSingapore ;Hackensack, N.J. World Scientific Pub. Co.20101 online resource (250 p.)Description based upon print version of record.981-4317-60-8 Includes bibliographical references.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. KobayashiConcurrent 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. KunimochiThis 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.Machine theoryCongressesFormal languagesCongressesMachine theoryFormal languages511.3Itō Masami1941-278611Kobayashi Yūji1180805Shoji Kunitaka1466137International Workshop on Automata, Formal Languages and Algebraic SystemsMiAaPQMiAaPQMiAaPQBOOK9910788556603321Automata, formal languages and algebraic systems3676446UNINA01229nam0 22002771i 450 UON0001680120231205101959.19520020107d1950 |0itac50 baitaIT|||| 1||||In memoria di Franz CumontAccademia Nazionale dei LinceiRoma : Accademia Nazionale dei Lincei1950516 p., 7 p. di tav. ; 23 cmEsempl. in fotocopia001UON000216682001 Problemi attuali di scienza e di cultura. QuaderniAccademia Nazionale dei Lincei015001UON000168022001 ˆLa ‰figura mostruosa del Tempo nella religione mitriacaR. Pettazzonipp. 6-16ITRomaUONL000004IR VII CIRAN ANTICO - RELIGIONE E FILOSOFIA - MITRAISMOA*Accademia *Nazionale dei *LinceiUONV246632650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00016801SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI IR VII C 004 SI IR 550 6 004 In memoria di Franz Cumont1195413UNIOR