Automata Implementation [[electronic resource] ] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / / edited by Oliver Boldt, Helmut Jürgensen
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Automata Implementation [[electronic resource] ] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / / edited by Oliver Boldt, Helmut Jürgensen
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Edizione: | 1st ed. 2001. |
| Descrizione fisica: | 1 online resource (VII, 189 p.) |
| Disciplina: | 004 |
| Soggetto topico: | Programming languages (Electronic computers) |
| Mathematical logic | |
| Artificial intelligence | |
| Computers | |
| Pattern recognition | |
| Programming Languages, Compilers, Interpreters | |
| Mathematical Logic and Foundations | |
| Artificial Intelligence | |
| Computation by Abstract Devices | |
| Mathematical Logic and Formal Languages | |
| Pattern Recognition | |
| Persona (resp. second.): | BoldtOliver |
| JürgensenHelmut | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references at the end of each chapters and index. |
| Nota di contenuto: | FA Minimisation Heuristics for a Class of Finite Languages -- SEA: A Symbolic Environment for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation and Computation of Finite Automata for Learning Software -- Metric Lexical Analysis -- State Complexity of Basic Operations on Finite Languages -- Treatment of Unknown Words -- Computing Entropy Maps of Finite-Automaton-Encoded Binary Images -- Thompson Digraphs: A Characterization -- Finite Automata Encoding Geometric Figures -- Compressed Storage of Sparse Finite-State Transducers -- An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing -- Multiset Processing by Means of Systems of Finite State Transducers -- A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits -- An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata -- A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata. |
| Titolo autorizzato: | Automata Implementation |
| ISBN: | 3-540-45526-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465927003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 2214