LEADER 04403nam 22006855 450 001 996465583803316 005 20230406035511.0 010 $a3-540-37214-8 024 7 $a10.1007/11812128 035 $a(CKB)1000000000233066 035 $a(SSID)ssj0000318213 035 $a(PQKBManifestationID)11226174 035 $a(PQKBTitleCode)TC0000318213 035 $a(PQKBWorkID)10307957 035 $a(PQKB)10670212 035 $a(DE-He213)978-3-540-37214-1 035 $a(MiAaPQ)EBC3068024 035 $a(PPN)123137217 035 $a(EXLCZ)991000000000233066 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aImplementation and Application of Automata$b[electronic resource] $e11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings /$fedited by Oscar H. Ibarra, Hsu-Chun Yen 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XIII, 291 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4094 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-37213-X 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Information Distance and Its Applications -- Theory Inspired by Gene Assembly in Ciliates -- On the State Complexity of Combined Operations -- Technical Contributions -- Path-Equivalent Removals of ?-transitions in a Genomic Weighted Finite Automaton -- Hybrid Extended Finite Automata -- Refinement of Near Random Access Video Coding with Weighted Finite Automata -- Borders and Finite Automata -- Finding Common Motifs with Gaps Using Finite Automata -- Factor Oracles -- Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice -- Tiburon: A Weighted Tree Automata Toolkit -- Around Hopcroft?s Algorithm -- Multi-tape Automata with Symbol Classes -- On the Computation of Some Standard Distances Between Probabilistic Automata -- Does o-Substitution Preserve Recognizability? -- Correctness Preservation and Complexity of Simple RL-Automata -- Bisimulation Minimization of Tree Automata -- Forgetting Automata and Unary Languages -- Structurally Unambiguous Finite Automata -- Symbolic Implementation of Alternating Automata -- On-the-Fly Branching Bisimulation Minimization for Compositional Analysis -- Finite-State Temporal Projection -- Compiling Linguistic Constraints into Finite State Automata -- Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time -- A Family of Algorithms for Non Deterministic Regular Languages Inference -- Poster Abstracts -- XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof -- A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems -- Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits -- Reachability Analysis of Procedural Programs with Affine Integer Arithmetic -- Lexical Disambiguation with Polarities and Automata -- Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression -- Tighter Packed Bit-Parallel NFA for Approximate String Matching. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4094 606 $aArtificial intelligence 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a004 702 $aIbarra$b Oscar H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYen$b Hsu-Chun$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465583803316 996 $aImplementation and Application of Automata$92860279 997 $aUNISA LEADER 00910nam 2200169z- 450 001 9910712629703321 035 $a(CKB)5470000002495868 035 $a(EXLCZ)995470000002495868 100 $a20230509c2008uuuu -u- - 101 0 $aeng 200 10$aEdificacio?n sustentable en Ame?rica del Norte : A) mercado y financiamento de la edificacio?n en Me?xico. Documento dos, Hacia la consolidacio?n del financiamiento y los mercados para la edificacio?n sustentable 210 $cCommission For Environmental Cooperation$aMontre?al, Quebec?bec 517 $aEdificacio?n sustentable en Ame?rica del Norte 906 $aBOOK 912 $a9910712629703321 996 $aEdificacio?n sustentable en Ame?rica del Norte : A) mercado y financiamento de la edificacio?n en Me?xico. Documento dos, Hacia la consolidacio?n del financiamiento y los mercados para la edificacio?n sustentable$93270261 997 $aUNINA