| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451518803321 |
|
|
Titolo |
Words, languages, and combinatorics III [[electronic resource] ] : proceedings of the international conference : Kyoto, Japan, 14-18 March 2000 / / editors, Masami Ito, Teruo Imaoka |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[River Edge] New Jersey, : World Scientific, c2003 |
|
|
|
|
|
|
|
ISBN |
|
1-281-90855-X |
9786611908553 |
981-270-497-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (503 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
Itò„Masami <1941-> |
ImaokaTeruo |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Semigroups |
Formal languages |
Machine theory |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Held at the Kyoto Sangyo University. |
"The Third International Colloquim on words, Languages and Combinatorics ..."--Preface. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Preface; Scientific Program; List of Speakers; Table of Contents; Contributed Papers; Semidirect Products with the Pseudovariety of All Finite Groups J. Almeida (Porto, Portugal) and A. Escada (Coimbra, Portugal); On the Sentence Valuations in a Semiring A. Atanasiu (Bucharest, Romania), C. Martin- Vide (Tarragona, Spain) and V. Mitrana (Bucharest, Romania); Join Decompositions of Pseudovarieties of the Form DH ECom K. Auinger (Wien, Austria) |
Arithmetical Complexity of Infinite Words S. V. Avgustinovich (Novosibirsk, Russia), D. G. Fon-Der-Flaass (Novosibirsk, Russia) and A. E. Frid (Novosibirsk, Russia)The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability V. Brattka (Hagen, Germany); Iterative Arrays with Limited Nondeterministic Communication Cell T. Buchholz (Giessen, Germany), A. Klein (Giessen, Germany) and M. Kutrib (Giessen, Germany); R-Trivial |
|
|
|
|
|
|
|
|
|
|
|
Languages of Words on Countable Ordinals O. Carton (Marne-la- Vallee, France) |
The Theory of Rational Relations on Transfinite Strings C. Choflrut (Paris, France) and S. Grigorieff (Paris, France)Networks of Watson-Crick DOL Systems E. Csuhaj-Varjd (Budapest, Hungary) and A. Salomaa (Thrku, Finland); On the Differentiation Function of Some Language Generating Devices J. Dassow (Magdeburg, Germany); Visualization of Cellular Automata M. Deminy (Debrecen, Hungary), G. Horvath (Debrecen, Hungary), Cs. Nagylaki (Debrecen, Hungary) and 2. Nagylaki (Debrecen, Hungary); On a Class of Hypercodes Do Long Van (Hanoi, Vietnam) |
A Parsing Problem for Context-Sensitive Languages P. Domosi (Debrecen, Hungary) and M. Ito (Kyoto, Japan)An Improvement of Iteration Lemmata for Context-Free Languages P. Domosi (Debrecen, Hungary) and M. Kudlek (Hamburg, Germany); Quantum Finite Automata J. Gruska (Brno, Czech Republic) and R. Vollmar (Karlsruhe, Germany); On Commutative Asynchronous Automata B. Imreh (Szeged, Hungary), M. Ito (Kyoto, Japan) and A. Pukler (Gyor, Hungary); Presentations of Right Unitary Submonoids of Monoids I. Inata (Funabashi, Japan) |
A Combinatorial Property of Languages and Monoids A. V. Kelarev (Hobart, Australia) and P. G. Trotter (Hobart, Australia)Error-Detecting Properties of Languages S. Konstantinidis (Halifax, Canada); A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples T. Koshiba (Kawasaki, Japan) and K. Hiraishi (Ishikawa, Japan); On the Star Height of Rational Languages: A New Presentation for Two Old Results S. Lombardy (Paris, France) and J. Sakarovitch (Paris, France); Some Properties of Hyperoperations and Hyperclones H. Machida (Kunitachi, Japan) |
Words Guaranteeing Minimal Image S. W. Margolis (Ramat Gan, Israel), J.-E. Pin (Paris, France) and M. V. Volkov (Ekaterinburg, Russia) |
|
|
|
|
|
|
Sommario/riassunto |
|
The research results published in this book range from pure mathematical theory (semigroup theory, discrete mathematics, etc.) to theoretical computer science, in particular formal languages and automata. The papers address issues in the algebraic and combinatorial theories of semigroups, words and languages, the structure theory of automata, the classification theory of formal languages and codes, and applications of these theories to various areas, like quantum and molecular computing, coding theory, and cryptography. |
|
|
|
|
|
|
|
| |