03541nam 2200637 a 450 991081824930332120240516082912.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 proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji1st ed.Singapore ;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 Kunitaka1592938International Workshop on Automata, Formal Languages and Algebraic SystemsMiAaPQMiAaPQMiAaPQBOOK9910818249303321Automata, formal languages and algebraic systems3912824UNINA