Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers
This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997. The book presents 21 revised full papers carefully reviewed and selected for inclusion in th...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Körperschaft: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
1436 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automata implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, revised papers, Derick Wood, Sheng Yu (eds.), 1998, New York, Springer, 1 vol. (VI-251 p.), Lecture notes in computer science, 3-540-64694-9 • Automata Implementation, Texte imprimé, 9783662195192 |
| LEADER | 04482nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944625 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155194984 | ||
| 020 | |a 9783540691044 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Implementing Automata |n (02 |d :1997 |c :London, Ont.). | |
| 245 | 1 | 0 | |a Automata implementation : |b Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers |c [edited by] Derick Wood, Sheng Yu. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1436 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a WIA and theory and practice -- Construction of efficient generalized LR parsers -- Visualization of dynamic automata using Padnon -- Automata of asynchronous behaviors -- LANGAGE: A Maple package for automaton characterization of regular languages -- In vitro implementation of finite-state machines -- Implementing WS1S via finite automata: Performance issues -- Multi-tape automata for speech and language systems: A prolog implementation -- Tools to implement automata, a first step: ASTL -- Minimal separating sets for Muller automata -- Pseudo-minimal transducers: A transducer with proper elements -- Towards a meta-normal form algorithm for context-free grammars -- A rational design for a weighted finite-state transducer library -- An efficient null-free procedure for deciding regular language membership -- Operations on extended automata -- Efficient implementation of regular languages using r-AFA -- INTEX: An integrated FST toolbox -- Precise estimation of the order of local testability of a deterministic finite automaton -- Teaching theory of computation with tape machines -- The automata theory package omega -- Practical optimizations for automata -- Sorting and doubling techniques for set partitioning and automata minimization problems. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997. The book presents 21 revised full papers carefully reviewed and selected for inclusion in the book; also included is an introductory overview. The papers discuss issues involved in the implementation of automata of all types also covering aspects from areas such as natural language processing, pattern matching, speaker recognition, VLSI testing, etc. This book reflects the state-of-the-art in this emerging area of interdisciplinary research. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages formels | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Perception des structures | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wood, Derick, |d 1940- |4 aut | |
| 700 | 1 | |a Yu, Sheng, |d 19..- |4 aut | |
| 776 | 0 | |0 035947918 |t Automata implementation |o Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 |o revised papers |f Derick Wood, Sheng Yu (eds.) |d 1998 |c New York |n Springer |p 1 vol. (VI-251 p.) |s Lecture notes in computer science |z 3-540-64694-9 | |
| 776 | 0 | |t Automata Implementation |b Texte imprimé |z 9783662195192 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0031375 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KXW13DJC-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791799X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0031375 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750930551 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0031375 |z Accès INSA CVL | |
| 997 | |0 944625 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||