×

zbMATH — the first resource for mathematics

Implementation and applications of automata. 13th international conference, CIAA 2008, San Francisco, California, USA, July 21–24, 2008. Proceedings. (English) Zbl 1155.68008
Lecture Notes in Computer Science 5148. Berlin: Springer (ISBN 978-3-540-70843-8/pbk). xiii, 289 p. (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1137.68010).
Indexed articles:
Holzer, Markus; Kutrib, Martin, Nondeterministic finite automata – recent results on the descriptional and computational complexity, 1-16 [Zbl 1172.68511]
Salomaa, Kai, Language decompositions, primality, and trajectory-based operations, 17-22 [Zbl 1172.68527]
Yannakakis, Mihalis, Automata, probability, and recursion, 23-32 [Zbl 1172.68533]
Yen, Hsu-Chun, Concurrency, synchronization, and conflicts in Petri nets, 33-35 [Zbl 1170.68544]
Tsay, Yih-Kuen; Wang, Bow-Yaw, Automated compositional reasoning of intuitionistically closed regular properties, 36-45 [Zbl 1172.68531]
Almeida, Marco; Moreira, Nelma; Reis, Rogério, Antimirov and Mosses’s rewrite system revisited, 46-56 [Zbl 1172.68481]
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš, Antichain-based universality and inclusion testing over nondeterministic finite tree automata, 57-67 [Zbl 1172.68493]
Champarnaud, J.-M.; Dubernard, J.-Ph.; Jeanne, H., Testing whether a binary and prolongeable regular language \(L\) is geometrical or not on the minimal deterministic automaton of Pref(\(L\)), 68-77 [Zbl 1172.68497]
Păun, Andrei; Păun, Mihaela; Rodríguez-Patón, Alfonso, Hopcroft’s minimization technique: Queues or stacks?, 78-91 [Zbl 1172.68522]
García, Pedro; Vázquez de Parga, Manuel; Álvarez, Gloria I.; Ruiz, José, Learning regular languages using nondeterministic finite automata, 92-101 [Zbl 1172.68508]
Inaba, Kazuhiro; Hosoya, Haruo; Maneth, Sebastian, Multi-return macro tree transducers, 102-111 [Zbl 1172.68512]
Cantin, François; Legay, Axel; Wolper, Pierre, Computing convex hulls by automata iteration, 112-121 [Zbl 1172.68496]
Nishiyama, Takuya; Minamide, Yasuhiko, A translation from the HTML DTD into a regular hedge grammar, 122-131 [Zbl 1172.68486]
Maletti, Andreas, Tree-series-to-tree-series transformations, 132-140 [Zbl 1172.68518]
Dixon, Ryan; Eğecioğlu, Ömer; Sherwood, Timothy, Automata-theoretic analysis of bit-split languages for packet scanning, 141-150 [Zbl 1172.68501]
Lahoda, Jan; Melichar, Bořivoj; Žd’árek, Jan, Pattern matching in DCA coded text, 151-160 [Zbl 1175.68568]
van Glabbeek, Rob; Ploeger, Bas, Five determinisation algorithms, 161-170 [Zbl 1172.68535]
Hempel, Harald; Kimmritz, Madlen, Persistent computations of Turing machines, 171-180 [Zbl 1172.68472]
Dolzhenko, Egor; Jonoska, Nataša, On complexity of two dimensional languages generated by transducers, 181-190 [Zbl 1172.68502]
Ésik, Z.; Iván, Sz., Games for temporal logics on trees, 191-200 [Zbl 1172.68504]
Matsumoto, Tetsuya; Hagio, Kazuhito; Takeda, Masayuki, A run-time efficient implementation of compressed pattern matching automata, 201-211 [Zbl 1172.68519]
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš, Composed bisimulation for tree automata, 212-222 [Zbl 1172.68487]
Badr, Andrew, Hyper-minimization in \(O(n ^{2})\), 223-231 [Zbl 1172.68492]
Pighizzini, Giovanni, Deterministic pushdown automata and unary languages, 232-241 [Zbl 1172.68524]
Razet, Benoît, Finite Eilenberg machines, 242-251 [Zbl 1172.68525]
Baturo, Paweł; Piątkowski, Marcin; Rytter, Wojciech, The number of runs in Sturmian words, 252-261 [Zbl 1172.68565]
Allauzen, Cyril; Mohri, Mehryar, 3-way composition of weighted finite-state transducers, 262-273 [Zbl 1172.68489]
El-Fakih, Khaled; Yevtushenko, Nina, Progressive solutions to FSM equations, 274-282 [Zbl 1172.68503]
Fujiyoshi, Akio, Combination of context-free grammars and tree automata for unranked and ranked trees, 283-285 [Zbl 1172.68485]
Šimůnek, Martin; Melichar, Bořivoj, Approximate periods with Levenshtein distance, 286-287 [Zbl 1175.68566]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q45 Formal languages and automata
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI